November 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid addconstraints1.cc Makefile.am ...
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 13:41:33 Modified files: tests/Grid : addconstraints1.cc Makefile.am Added files: tests/Grid : grid3.cc addconstraint1.cc Log message: Add grid3, which tests construction of grids from constraints. Add addconstraint1, which tests adding single constraints to grids. Move the single-constraint adding tests from addconstraints1 to addconstraint1. Add tests for add_constraints_and_minimize(cs), add_recycled_constraints(cs) and add_recycled_constraints_and_minimize(cs) to addconstraints1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl src/Grid_public.cc src/Grid.defs.hh ./TODO
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 13:32:22 Modified files: src : Grid_public.cc Grid.defs.hh . : TODO Log message: Add Grid(cs), add_constraint_and_minimize(c), add_constraints_and_minimize(cs), add_recycled_constraints(cs) and add_recycled_constraints_and_minimize(cs). In all of the constraint adding methods allow the addition of any kind of constraint (instead of only equalities). In add_constraints(cs) use Congruence_System(cs) to add the constraints. Improve some method descriptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… 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/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/tests/BD_Shape affineimage8.cc affineimage ...
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 12:22:59 Modified files: tests/BD_Shape : affineimage8.cc affineimage9.cc generalizedaffineimage14.cc Log message: Some suspect constraints in the known_results have been commented out. They have to be carefully checked to see of they are really wanted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests/BD_Shape affineimage10.cc
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 12:21:03 Modified files: tests/BD_Shape : affineimage10.cc Log message: Do not be noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage10.…

1 0

ppl/tests/BD_Shape ch78widening4.cc generalize ...
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 12:20:12 Modified files: tests/BD_Shape : ch78widening4.cc generalizedaffineimage1.cc Log message: Avoid lines that are too long. Removed a few (unnecessary) blank lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening4.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 12:17:30 Modified files: src : BD_Shape.inlines.hh Log message: Corrected a bug in affine_image() whereby incorrect bounds for binary constraints could have been deduced. In the invariant-checking method OK(), we now also check that no entry of the dbm has value MINUS_INFINITY; if the dbm is marked as shortest-path reduced, then we check that the dbm entry for a non-redundant constraint has a finite value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-08 11:58:48 Modified files: src : BD_Shape.inlines.hh Log message: Got rid of the wrong version of div_round_up(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/Grid griddifference1
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:29:29 Removed files: tests/Grid : griddifference1 Log message: Remove file added in error earlier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.di…

1 0

ppl/tests/Grid maxmin1.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:24:27 Added files: tests/Grid : maxmin1.cc Log message: Add maxmin1, which tests Grid::maximize(le&, ...) and Grid::minimize(le&, ...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc?cvsroot…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:20:55 Modified files: tests/Grid : addconstraints1.cc Log message: Add test10, for add_recycled_congruences_and_minimize(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0