November 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron relations3.cc
by Roberto Bagnara 17 Nov '07

17 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-17 19:15:38 Modified files: tests/Polyhedron: relations3.cc Log message: New test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations3.c…

1 0

ppl/src Partially_Reduced_Product.defs.hh
by Roberto Bagnara 17 Nov '07

17 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-17 10:45:04 Modified files: src : Partially_Reduced_Product.defs.hh Log message: Friend declaration fixed and uncommented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Partially_Reduced_Product.defs.hh
by Patricia Hill 16 Nov '07

16 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-16 14:47:47 Modified files: src : Partially_Reduced_Product.defs.hh Log message: A couple of FIXME's added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl src/Grid.defs.hh src/Partially_Reduced_Pro ...
by Patricia Hill 16 Nov '07

16 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-16 14:03:40 Modified files: src : Grid.defs.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct1.cc directproduct3.cc Added files: tests/Grid : partiallyreducedproduct3.cc Log message: Test file added for partially reduced products (which should have been added before). Many doxygen comments in the defs file improved and corrected. The setting/clearing of the reduced flag also revised for some methods. 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/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 16 Nov '07

16 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-16 12:03:14 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct4.cc Log message: Added an implementation of add_congruences_and_minimize(). Removed some redundant code in src/Partially_Reduced_Product.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.…

1 0

ppl/tests/Grid directproduct4.cc
by Patricia Hill 16 Nov '07

16 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-16 11:07:22 Modified files: tests/Grid : directproduct4.cc Log message: Tests for generalized_affine_(pre)image() methods that were commented out now have now been revised to test the defined methods and un-commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.…

1 0

ppl src/Grid.defs.hh src/Grid.inlines.hh src/P ...
by Patricia Hill 16 Nov '07

16 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-16 10:35:19 Modified files: src : Grid.defs.hh Grid.inlines.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct1.cc directproduct2.cc Log message: Methods in the Grid domain that build a grid from generators, add generators to a grid and get the generators defining a grid are no longer supported. (Note: this change only affects methods wrt "generators" and _not_ wrt "grid_generators".) In the Partially_Reduced_Product domain all methods that build a product from generators or grid generators, add generators or grid generators to a product and get the generators or grid generators defining a product are no longer supported. Changes to the tests reflect this change. 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.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 15 Nov '07

15 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-15 14:52:30 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh tests/Grid : partiallyreducedproduct1.cc Log message: Corrected the set_reduced_flag() to clear_reduced_flag() when building a new product from constraints or congruences. Made 2 additional tests for OK() that checks products after using these constructors. The code implementing OK() now forces reduced() to reduce the copy of *this by setting its "reduced" flag to false. The code for OK() now moved to *.templates.hh Some formatting improvements mainly in *.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl src/Partially_Reduced_Product.templates.hh ...
by Patricia Hill 15 Nov '07

15 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-15 10:23:44 Modified files: src : Partially_Reduced_Product.templates.hh tests/Grid : Makefile.am Log message: More tests added for smash and constraints product.. Formatting improvements to /Partially_Reduced_Product.templates.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl src/Partially_Reduced_Product.inlines.hh t ...
by Patricia Hill 13 Nov '07

13 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-13 10:36:57 Modified files: src : Partially_Reduced_Product.inlines.hh tests/Grid : partiallyreducedproduct1.cc partiallyreducedproduct2.cc Log message: Many corrections to the product domain implementation mainly wrt when reduction must be done and setting the reduced Boolean. Tests added and improved. Some useless tests removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0