October 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-18 08:38:44 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 Log message: Additional change made so as to deal with change to maximize/5 and minimize/5 for the grid domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl src/Grid_public.cc tests/Grid/grid3.cc
by Patricia Hill 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-18 08:35:10 Modified files: src : Grid_public.cc tests/Grid : grid3.cc Log message: Bug shown in previous commit now corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/tests/Grid grid3.cc
by Patricia Hill 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-18 07:36:45 Modified files: tests/Grid : grid3.cc Log message: test18 shows a bug in the code added for building a grid using the generators of a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Patricia Hill 17 Oct '07

17 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-17 22:45:21 Modified files: src : Grid_public.cc Log message: Code for constructing a grid from a polyhedron improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 17 Oct '07

17 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-17 21:24:17 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 Log message: Changed the OCaml interface so as to match the change to maximize/5 and minimize/5 for the grid domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl interfaces/C/ppl_interface_generator_c_cc_ ...
by Patricia Hill 17 Oct '07

17 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-17 18:05:42 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Grid.defs.hh Grid.inlines.hh Grid_nonpublic.cc tests/Grid : maxmin1.cc Log message: Changed the methods maximize/5 and minimize/5 for the Grid class so that a Generator point, the maximum point of the grid, is the 5th argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cv…

1 0

ppl src/Grid.defs.hh src/Grid_public.cc tests/ ...
by Patricia Hill 17 Oct '07

17 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-17 14:54:22 Modified files: src : Grid.defs.hh Grid_public.cc tests/Grid : grid3.cc Log message: Added a constructor for a grid from a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 17 Oct '07

17 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-17 14:11:48 Modified files: src : Polyhedron.defs.hh Log message: Grid befriended to allow for the efficient implementation of a Grid constructor from a Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src DB_Row.defs.hh
by Roberto Bagnara 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-16 20:50:34 Modified files: src : DB_Row.defs.hh Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro…

1 0

ppl/src DB_Row.types.hh
by Roberto Bagnara 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-16 20:50:22 Modified files: src : DB_Row.types.hh Log message: Template parameters renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.types.hh.diff?cvsr…

1 0