March 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Box Makefile.am frompolyhedron1.cc f ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-03 17:32:39 Modified files: tests/Box : Makefile.am frompolyhedron1.cc frompolyhedron2.cc Log message: Adapted tests in frompolyhedron2.cc. Program max_min1 temporarily disabled (it fails). Patches: 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/frompolyhedron1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron2.cc.…

1 0

ppl/tests ppl_test.hh Box/Makefile.am Box/run_ ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-03 15:01:02 Modified files: tests : ppl_test.hh tests/Box : Makefile.am run_tests Log message: Test class Box with multiple instantiations of the Interval parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… 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/run_tests.diff?cvsr…

1 0

ppl/tests/Box frompolyhedron1.cc frompolyhedro ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-03 15:00:13 Modified files: tests/Box : frompolyhedron1.cc Removed files: tests/Box : frompolyhedron3.cc Log message: Test in frompolyhedron3.cc is now included in frompolyhedron1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron3.cc.…

1 0

ppl/tests BD_Shape/bdsdifference1.cc BD_Shape/ ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

1 0

ppl/tests/Polyhedron addcongruences1.cc addcon ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

1 0

ppl/tests/Grid addcongruence1.cc addcongruence ...
by Roberto Bagnara 03 Mar '07

03 Mar '07

1 0

ppl ./NEWS interfaces/C/ppl_c.h.in src/Grid.de ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-02 21:20:07 Modified files: . : NEWS interfaces/C : ppl_c.h.in src : Grid.defs.hh Log message: Last steps in the removal of the shrink_bounding_box() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.20… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests Makefile.am Box/frompolyhedron2.cc B ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

1 0

ppl/src Box.defs.hh Box.templates.hh
by Roberto Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-02 21:04:34 Modified files: src : Box.defs.hh Box.templates.hh Log message: New private methods void Box::add_constraint_no_check(const Constraint&) and void Box::add_constraints_no_check(const Constraint_System&) allow to optimize the addition of constraints to a box. 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…

1 0

ppl src/Box.defs.hh src/Box.inlines.hh src/Box ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-02 20:32:14 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Direct_Product.defs.hh Direct_Product.inlines.hh tests : ppl_test.hh tests/Box : fromdirectproduct1.cc Log message: Got rid of Direct_Product::shrink_bounding_box() in favor of the constructor Box::Box(const Direct_Product<D1, D2>&, Complexity_Class). Removed lots of x's. 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.inlines.hh.diff?cvsro… 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/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/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromdirectproduct1.…

1 0