December 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 25 Dec '02

25 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-25 19:50:20 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Spurious element removed from the `prolog_atoms' array. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

minimized_constraints() problem in 0.4.2
by kmixter＠longshot.com 25 Dec '02

25 Dec '02

Hi, I'm doing a first pass at integrating PPL with the Action Language Verifier under Dr. Tevfik Bultan at UC Santa Barbara. I've run into what appears to be a problem in the most recent 0.4.2 release. Please let me know as soon as possible if I'm doing something wrong or if it's a genuine problem. I'd like to have an integration I can show next week. The problem is that minimized_constraints is crashing when it gets down into strongly_minimize_constraints: if (topologically_closed || !strict_inequals_saturate_all_rays) { assert(cs_rows < cs.num_rows()); ... The condition topologically_closed is true, but cs_rows == cs.num_rows(). Here is the testcase which reproduces the condition: ----------------------------------------- #include "ppl.hh" using namespace Parma_Polyhedra_Library; int main() { Variable x2(0), x3(1), x5(2); NNC_Polyhedron poly(3, Polyhedron::UNIVERSE); poly.add_constraint(x5 > x2); poly.add_constraint(x3 >= x2); poly.add_constraint(x2 + 1 > x3); poly.minimized_constraints(); return 0; } ------------------------------------------ Thanks, Ken Mixter

2 5

ppl NEWS
by Roberto Bagnara 22 Dec '02

22 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-22 09:27:37 Modified files: . : NEWS Log message: Mention the bug fixed in Polyhedron::minimized_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.50…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 22 Dec '02

22 Dec '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-12-22 09:23:55 Modified files: htdocs/Credits : Credits.raw Log message: Added a new section for people who helped us in various ways. Tevfik and Bertrand added to this new section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 22 Dec '02

22 Dec '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-12-22 08:58:47 Modified files: htdocs/Bugs : Bugs.raw Log message: Mention the bug reported by Ken Mixter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 22 Dec '02

22 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-22 08:43:15 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 src/Polyhedron.cc tests/topclosure1.cc
by Enea Zaffanella 21 Dec '02

21 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-21 20:45:43 Modified files: src : Polyhedron.cc tests : topclosure1.cc Log message: Corrected the bug pointed out by topclosure1.cc. Patches: 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/tests/topclosure1.cc.diff?cvs…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 21 Dec '02

21 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-12-21 20:41:33 Modified files: src : GenSys.cc Log message: In add_corresponding_points(), iteration now goes upward to insert the new points in a partially ordered sequence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/tests print.cc
by Roberto Bagnara 21 Dec '02

21 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-21 19:07:59 Modified files: tests : print.cc Log message: Consistently follow "true" and "false" by a full stop. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p…

1 0

ppl/tests print.cc print.hh
by Roberto Bagnara 21 Dec '02

21 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-21 16:04:08 Modified files: tests : print.cc print.hh Log message: Removal of easy_print() completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0