October 2006 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.templates.hh
by Elena Mazzi 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-27 10:55:26 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug in BD_Shape::is_disjoint_from() when the two BD_Shapes consist of single but different points in 1D. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 27 Oct '06

27 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-27 10:02:48 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Added tests for comparing the class objects. General improvements to the test system including: Changing the test_data identifiers to be "test0n". Using a list to give all the required tests and the member predicate to select the tests. Generating code for building the test object for any given test id and use this instead of coding it in the actual tests. The space_dimension and affine_dimension are now defined by an auxiliary predicate for each test id. Patches: 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/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/tests/BD_Shape disjoint1.cc
by Patricia Hill 26 Oct '06

26 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-26 22:01:22 Modified files: tests/BD_Shape : disjoint1.cc Log message: Added test07 which shows a bug when the two BD_Shapes consist of single but different points in 1D. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/disjoint1.cc.d…

1 0

ppl/tests/BD_Shape relations3.cc
by Patricia Hill 26 Oct '06

26 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-26 17:50:00 Modified files: tests/BD_Shape : relations3.cc Log message: Added a test showing a bug in the relation_with() method. Test04 fails as the relation returned is "strictly_intersects" and not, as expected, "is_disjoint". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 26 Oct '06

26 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-26 15:24:37 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Added generic tests for maximize, minimize, maximize_with_point and minimize_with_point. Patches: 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/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 26 Oct '06

26 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-26 11:53:00 Modified files: src : Polyhedron_nonpublic.cc Log message: Corrected a bug in method max_min() whereby an assertion was failing when maximizing or minimizing an expression on a zero-dimensional polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/tests/Polyhedron max_min1.cc
by Patricia Hill 26 Oct '06

26 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-26 11:32:10 Modified files: tests/Polyhedron: max_min1.cc Log message: Test 03 causes an assertion failure for the universe polyhedron with 0 dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/max_min1.cc.…

1 0

ppl/tests/BD_Shape Makefile.am expandspacedim1 ...
by Elena Mazzi 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-25 15:58:21 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : expandspacedim1.cc foldspacedims1.cc Log message: Added new tests on methods: - BD_Shape<T>::expand_space_dimension(Variable var, dimension_type m); - BD_Shape<T>::fold_space_dimensions(Variables_Set& to_be_folded, Variable var). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/expandspacedim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/foldspacedims1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Elena Mazzi 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-25 15:55:55 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Defined two new methods: BD_Shape<T>::expand_space_dimension(Variable var, dimension_type m); BD_Shape<T>::fold_space_dimensions(Variables_Set& to_be_folded, Variable var). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Pointset_Powerset.templates.hh
by Roberto Bagnara 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-25 14:17:20 Modified files: src : Pointset_Powerset.templates.hh Log message: Avoided a couple of copies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0