February 2002 - PPL-devel - BUGSENG Mailman

ppl ./NEWS src/Polyhedron.cc src/Polyhedron.de ...
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 22:16:00 Modified files: . : NEWS src : Polyhedron.cc Polyhedron.defs.hh tests : limitedwidening1.cc limitedwidening2.cc Log message: Polyhedron::limited_widening_assign(const Polyhedron&, ConSys&) was erroneously returning a (random) boolean: it is now a void method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.6&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening2.cc.dif…

1 0

ppl/tests Makefile.am limitedwidening2.cc
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 19:47:29 Modified files: tests : Makefile.am Added files: tests : limitedwidening2.cc Log message: New test to check that the case where the passed constraint system is inconsistent with respect to the widened polyhedron. Note: it currently fails, since Polyhedron::limited_widening_assign() is buggy, as it is now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests limitedwidening1.cc
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 19:45:51 Modified files: tests : limitedwidening1.cc Log message: Improved: now we check also the returned boolean. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening1.cc.dif…

1 0

ppl/tests print.hh
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 19:45:31 Modified files: tests : print.hh Log message: New functions to print the constraints and the generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 19:42:32 Modified files: src : Polyhedron.cc Log message: Readability improvements to Polyhedron::limited_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 18:18:10 Modified files: src : Polyhedron.cc Log message: Slightly optimized operator <=(const Polyhedron& x, const Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl NEWS
by Roberto Bagnara 22 Feb '02

22 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-22 08:12:58 Modified files: . : NEWS Log message: Updated for release 0.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.5&…

1 0

ppl ChangeLog
by Roberto Bagnara 20 Feb '02

20 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-20 19:13:56 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

w3ppl/htdocs ppl.raw Credits/Credits.raw Links ...
by Elisa Ricci 20 Feb '02

20 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: ericci(a)cs.unipr.it 2002-02-20 18:55:31 Modified files: htdocs : ppl.raw htdocs/Credits : Credits.raw htdocs/Links : Links.raw Log message: Changed the addresses of Jeannet's home page and of NewPolka's page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 20 Feb '02

20 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-20 13:26:38 Modified files: src : Polyhedron.cc Log message: In Polyhedron::add_constraints(ConSys& cs), turned on the BE_LAZY version which does not sort matrices and does not perform unnecessary copies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0