March 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagonal_Shape Makefile.am universa ...
by Barbara Quartieri 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-13 14:55:59 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: universal_incremental.cc universal_strong.cc Log message: Added new tests on strong_closure() and incremental_strong_closure(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/univers… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/univers… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/tests/Polyhedron bhrz03widening3.cc
by Enea Zaffanella 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-13 12:13:35 Modified files: tests/Polyhedron: bhrz03widening3.cc Log message: Test test10() completed and restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03wideni…

1 0

ppl/src Polyhedron_widenings.cc
by Enea Zaffanella 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-13 12:12:33 Modified files: src : Polyhedron_widenings.cc Log message: Applied a workaround in private method select_H79_constraints() so as to correctly deal with NNC polyhedra. A too strong assertion made weaker: due to the value of the epsilon coordinate, the sign of the scalar product can be anything when the polyhedra are NNC, the constraint from x is strict and the generator from y is a point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/src Scalar_Products.cc
by Enea Zaffanella 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-13 09:29:58 Modified files: src : Scalar_Products.cc Log message: Added the definition of a Scalar_Product::assign() variant that was declared but not implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?c…

1 0

ppl/tests/Polyhedron bhrz03widening3.cc
by Enea Zaffanella 12 Mar '07

12 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-12 20:12:22 Modified files: tests/Polyhedron: bhrz03widening3.cc Log message: Test test10() greatly simplified, while still showing the assertion violation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03wideni…

1 0

ppl/tests/Polyhedron bhrz03widening3.cc
by Patricia Hill 12 Mar '07

12 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-03-12 16:18:15 Modified files: tests/Polyhedron: bhrz03widening3.cc Log message: Added a test showing an assertion violation for the BHRZ03 widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhrz03wideni…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 12 Mar '07

12 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-12 14:23:24 Modified files: src : Box.templates.hh Log message: Th eimplementation of affine_image and affine_preimage changed so as to use Tmp_Interval_Type. Also corrected a type in affine_preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh
by Enea Zaffanella 12 Mar '07

12 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-12 14:22:13 Modified files: src : Box.defs.hh Log message: Added typedef Tmp_Interval_Type for the interval datatype that has to be used when performing internal computations and trying to avoid the accumulation of rounding errors. As for now, this is defined to be the same as Interval. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/src Pointset_Powerset.defs.hh Pointset_Pow ...
by Roberto Bagnara 11 Mar '07

11 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-11 10:44:21 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Added method bool contains_integer_point() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl/Watchdog/doc Makefile.am
by Roberto Bagnara 11 Mar '07

11 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-11 10:31:48 Modified files: Watchdog/doc : Makefile.am Log message: No longer mention README.configure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/Makefile.am.diff…

1 0