November 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid directproduct3.cc
by Patricia Hill 23 Nov '07

23 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-23 10:05:32 Modified files: tests/Grid : directproduct3.cc Log message: Test07 fails only when the assertions are enabled with 8 bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl configure.ac
by Roberto Bagnara 22 Nov '07

22 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-22 19:51:56 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Grid directproduct3.cc
by Patricia Hill 22 Nov '07

22 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-22 08:48:03 Modified files: tests/Grid : directproduct3.cc Log message: Test07 is set to fail for 8 bit integers when one of the domain components is C_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl/tests/Grid directproduct1.cc
by Patricia Hill 21 Nov '07

21 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-21 11:57:15 Modified files: tests/Grid : directproduct1.cc Log message: Test is now reset to test product Grid x NNC_Polyhedron Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl ./NEWS src/Octagonal_Shape.defs.hh src/Oct ...
by Patricia Hill 21 Nov '07

21 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-21 11:56:01 Modified files: . : NEWS src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh tests/Grid : directproduct1.cc Log message: Octagonal domain now has a constructor from a box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl ./NEWS src/Octagonal_Shape.defs.hh src/Oct ...
by Patricia Hill 21 Nov '07

21 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-21 11:24:58 Modified files: . : NEWS src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh tests/Grid : directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc Log message: The Partially_Reduced_Product now works for products with Octagonal_Shape domain elements. Tests now have an option to test with a product of Octagonal_Shape and Grid, but all tests are currently set to test C_ or NNC_Polyhedron x Grid (or vice versa) combinations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… 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/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0

ppl/src Makefile.am Direct_Product.defs.hh Dir ...
by Patricia Hill 21 Nov '07

21 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-21 08:30:08 Modified files: src : Makefile.am Removed files: src : Direct_Product.defs.hh Direct_Product.inlines.hh Direct_Product.templates.hh Direct_Product.types.hh Log message: The old implentation for Direct_Product removed as this is replaced by an instance of the Partially_Reduced_Product class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.types.hh.d…

1 0

ppl src/Box.defs.hh src/Box.templates.hh tests ...
by Patricia Hill 20 Nov '07

20 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-20 22:14:32 Modified files: src : Box.defs.hh Box.templates.hh tests/Box : Makefile.am Added files: tests/Box : frompartiallyreducedproduct1.cc Removed files: tests/Box : fromdirectproduct1.cc Log message: Changed the construction of a box from a direct product class to the construction of a box from a partially reduced product class. Test file updated and renamed to test this change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompartiallyreduce… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromdirectproduct1.…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 20 Nov '07

20 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-20 15:52:44 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh tests/BD_Shape : Makefile.am tests/Grid : directproduct1.cc Added files: tests/BD_Shape : boundingbox1.cc Log message: Added method for constructing a BD_Shape from a box. Test file for building from a box added for the BD_Shape. Test for building a product from a box is now enabled when a component of the product is a BD_Shape. 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.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/boundingbox1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 20 Nov '07

20 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-20 13:58:44 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh tests/Grid : directproduct3.cc Log message: Added widening_assign() using the H79_widening_assign() as the default widening. Test for widening_assign uncommented for products using the BD_Shape class. 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.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0