August 2003 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-23 22:24:08 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: The applicability test asserted in Polyhedra_PowerSet<PH>::widening_assign() was reversed: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/interfaces/C ppl_c.cc
by Enea Zaffanella 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-23 18:12:01 Modified files: interfaces/C : ppl_c.cc Log message: Fixed indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/tests powersetwidening1.cc
by Enea Zaffanella 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-23 18:10:50 Modified files: tests : powersetwidening1.cc Log message: Counter-example for the simple powerset widening is now working as expected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/tests powersetwidening1.cc
by Roberto Bagnara 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-23 16:27:33 Modified files: tests : powersetwidening1.cc Log message: Fixed an output statement. Avoid computing S(n) multiple times. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/tests powersetwidening1.cc
by Roberto Bagnara 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-23 16:23:38 Modified files: tests : powersetwidening1.cc Log message: For readability, use an alternate output function for variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-23 16:06:53 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: In Polyhedra_PowerSet<PH>::widening_assign(const Polyhedra_PowerSet& y, ...) assert that `*this' definitely entails `y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/tests powersetwidening1.cc
by Roberto Bagnara 23 Aug '03

23 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-23 16:05:13 Modified files: tests : powersetwidening1.cc Log message: Started turning this program into an implementation of Enea's counterexample for the simple powerset widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/powersetwidening1.cc.di…

1 0

ppl/tests max_min1.cc max_min2.cc
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 21:27:31 Modified files: tests : max_min1.cc max_min2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min1.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/max_min2.cc.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 19:49:44 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 NEWS
by Roberto Bagnara 22 Aug '03

22 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-22 19:45:25 Modified files: . : NEWS Log message: Announce Polyhedron::maximize() and Polyhedron::minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.77…

1 0