September 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_interface_generator_c_h.m4
by Enea Zaffanella 30 Sep '06

30 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-30 13:57:54 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 Log message: Corrected simple bug in the generation of documentation grouping. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-29 23:19:10 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 ppl_interface_generator_c_h_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Replaced pattern "is_@STATE@ by "@HAS_PROPERTY@ and added replacement "contains_integer_point" for this pattern. A comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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/C/ppl_interface_ge… 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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-29 21:58:27 Modified files: . : configure.ac Log message: Added the infrastructure required to enable the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-29 21:49:38 Modified files: . : configure.ac Log message: Added the infrastructure required to enable the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Roberto Bagnara 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-29 18:43:48 Modified files: tests/Polyhedron: variablesset1.cc Log message: Show how std::set_union() should be used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/tests/Polyhedron Makefile.am containsinteg ...
by Enea Zaffanella 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-29 18:31:26 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: containsintegerpoint1.cc Log message: Added a test for Polyhedron::contains_integer_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/containsinte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-29 18:07:41 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Polyhedra_Powerset renamed as Pointset_Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Andrea Cimino 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-29 16:01:58 Modified files: tests/Polyhedron: variablesset1.cc Log message: Fixed a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/tests/Polyhedron Makefile.am variablesset1.cc
by Andrea Cimino 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-29 16:00:06 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: variablesset1.cc Log message: Added some tests for the Variables_Set class. Remeber also to test set_union(), set_difference()... Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Octagonal_Shape.templates.hh tests/Oct ...
by Barbara Quartieri 29 Sep '06

29 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-29 14:19:40 Modified files: src : Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: disjoint1.cc Log message: Added the method bool Octagonal_Shape<T>::is_disjoint_from() and some tests about it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/disjoin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0