April 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation/mirror NEW-POLKA-1- ...
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-14 11:47:20 Added files: htdocs/Documentation/mirror: NEW-POLKA-1-1-3c.ps.gz Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs/Documentation ppl.bib mirror/Halb ...
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-14 11:27:04 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation/mirror: HalbwachsPR94.ps.gz Log message: HalbwachsPR94 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 13 Apr '02

13 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-13 19:02:22 Modified files: src : Polyhedron.inlines.hh Log message: Avoid shadowing in Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 13 Apr '02

13 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-13 13:57:36 Modified files: htdocs/Documentation: ppl.bib Log message: NEW-POLKA-1-1-3c added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 13 Apr '02

13 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-13 13:40:50 Modified files: htdocs/Documentation: ppl.bib Log message: Added GawrilowJ00, GawrilowJ01, and LoechnerW97. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests Makefile.am NNCminimize4.cc NNCminim ...
by Enea Zaffanella 12 Apr '02

12 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-12 20:54:07 Modified files: tests : Makefile.am NNCminimize4.cc Added files: tests : NNCminimize5.cc Log message: Test NNCminimize5 is a fake test showing that strong minimization problems can arise even when the user is only allowed to interact using constraint systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cv…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 12 Apr '02

12 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-12 20:50:10 Modified files: src : Polyhedron.cc Log message: When performing strong minimization of constraints, no longer preventing the removal of the \esilon \leq 1 constraint. This modification is justified by the relaxation of the invariant on the class Generator, where we no longer require the coordinate of \epsilon to be \leq 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

Re: Polyhedra bounded by stricts inequalities...
by Roberto Bagnara 12 Apr '02

12 Apr '02

Dear Christophe, this message is just to let you know that the Parma Polyhedra Library now supports polyhedra bounded by a mixture of strict and non strict inequalities. The CVS version already contains a complete implementation, even though we are still working on it. We may be able to release the new version of the library in 3/4 weeks, but we can provide snapshots before that time. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl config.guess config.sub
by Roberto Bagnara 12 Apr '02

12 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-12 09:18:00 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0

CVSROOT loginfo
by Roberto Bagnara 12 Apr '02

12 Apr '02

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2002-04-12 09:16:57 Modified files: . : loginfo Log message: Trailing slashes removed from directory names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/loginfo.diff?cvsroot=ppl&…

1 0