March 2005 - PPL-devel - BUGSENG Mailman

ppl/debian control
by Matthew Mundell 09 Mar '05

09 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-09 11:43:09 Modified files: debian : control Log message: Rename to libppl. Add a source section name. Depend on graphviz and debhelper version of 4 or higher. Drop libppl-c-dev. Complete the entries for the interface packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control.diff?cvsroot=p…

1 0

ppl/debian rules changelog
by Matthew Mundell 09 Mar '05

09 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-09 11:38:51 Added files: debian : rules changelog Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules?cvsroot=ppl&rev=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/changelog?cvsroot=ppl&…

1 0

ppl/tests/Polyhedron Makefile.am boundedbhrz03 ...
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 14:11:16 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: boundedbhrz03extrapolation1.cc Log message: A new, very interesting, test program showing an analysis of linear invariants divided into phases: a first propagation phase (without widening), followed by a widening phase employing the "widening up to" technique and further preserving interval constraints. Notice that neither the H79 nor the BHRZ03 limited extrapolations (used as widenings here) allow to obtain the desired postfixpoint for this example (since they lose the crucial constraint `k <= 1'). Both the H79 and the BHRZ03 bounded extrapolation operators do achieve this result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz0… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 13:54:31 Modified files: src : Polyhedron_widenings.cc Log message: Internal implementation class BW_Box was no longer used: removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl src/Polyhedron_widenings.cc tests/Polyhedr ...
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 13:52:45 Modified files: src : Polyhedron_widenings.cc tests/Polyhedron: boundedh79extrapolation1.cc Log message: Polyhedron::bounded_BHRZ03_extrapolation_assign() and Polyhedron::bounded_H79_extrapolation_assign() now use Bounding_Box::CC76_widening_assign() to make sure the interval constraints that are preserved do not cause termination problems. Test program boundedh79extrapolation1.cc (it was testing nothing anyway). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedh79ex…

1 0

ppl/tests/BD_Shape Makefile.am generalizedaffi ...
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 13:48:18 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : generalizedaffineimage14.cc Log message: New test for BD_Shape::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src Bounding_Box.cc Bounding_Box.defs.hh
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 10:46:43 Modified files: src : Bounding_Box.cc Bounding_Box.defs.hh Log message: New method Constraint_System Bounding_Box::constraints() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff…

1 0

ppl/src Bounding_Box.cc
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 10:28:50 Modified files: src : Bounding_Box.cc Log message: Fixed Bounding_Box::CC76_widening_assign(const Bounding_Box& y, Iterator first, Iterator last). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr…

1 0

ppl/src Bounding_Box.cc Bounding_Box.defs.hh
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 00:19:17 Modified files: src : Bounding_Box.cc Bounding_Box.defs.hh Log message: Added Bounding_Box::CC76_widening_assign(const Bounding_Box& y) and template <typename Iterator> Bounding_Box::CC76_widening_assign(const Bounding_Box& y, Iterator first, Iterator last). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh
by Roberto Bagnara 05 Mar '05

05 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-03-05 00:17:31 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Added non-const versions of accessors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0