July 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 31 Jul '02

31 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-31 19:14:41 Modified files: interfaces/C/lpenum: lpenum.c Log message: Switch to the new GLPK API (introduced in GLPK 3.0). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

Time to break the build
by Roberto Bagnara 31 Jul '02

31 Jul '02

Dear all, now that PPL 0.4.1 is out it is the right time to add new features to the library and to upgrade our development tools. This may bring some instability to the mainline, of course. As far as new features are concerned, I will soon start committing the new constraint system classes. For the tools, I anticipate upgrading to the following versions: GCC 3.1.1, GMP 4.1, Doxygen 1.17 and GLPK 3.2. Please note: 1) upgrading GCC is required in order to work on the Mercury interface; 2) upgrading GMP should not bring any incompatibility; 3) Doxgen 1.17 does not work with our current sources; Doxygen 1.16 will no longer work when I will update our sources to work with Doxygen 1.17; 4) for GLPK we have the same situation we have with Doxygen: after the upgrade, old versions of GLPK will stop working. 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

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 31 Jul '02

31 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-31 12:28:15 Modified files: htdocs/Documentation: ppl.bib Log message: Force capitalization of "Parma Polyhedra Library" the right way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 31 Jul '02

31 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-31 12:21:01 Modified files: htdocs/Documentation: ppl.bib Log message: In the entry for BagnaraRZH02, enforced capitalization of the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Parma Polyhedra Library 0.4.1
by Roberto Bagnara 30 Jul '02

30 Jul '02

We have the pleasure to announce the release 0.4.1 of the Parma Polyhedra Library, a minor bugfix release. For more information, visit the PPL web site at http://www.cs.unipr.it/ppl/ The PPL development team: Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Elisa Ricci <ericci(a)cs.unipr.it> Enea Zaffanella <zaffanella(a)cs.unipr.it> Bugfixes ======== o Fixed a bug in Polyhedron::poly_difference_assign(const Polyhedron& y) whereby the equality constraints of `y' were ignored (the bug was affecting both C and NNC computations). o Fixed a bug in Polyhedron::operator=(const Polyhedron& y). This bug, which is triggered in some cases when `y' is empty, should only affect versions of the library obtained with the `--enable-assertions' configuration flag. o Fixed a bug in Polyhedron::check_universe(), which was returning the wrong result when called on a zero-dim universe polyhedron. o Fixed a bug in NNC_Polyhedron::NNC_Polyhedron(ConSys& cs) whereby an invariant was violated in case `cs' was empty. This bug should only affect versions of the library obtained with the `--enable-assertions' configuration flag. -- 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

w3ppl/htdocs/templates macros.tmpl
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-30 13:32:16 Modified files: htdocs/templates: macros.tmpl Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/macros.tmp…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-30 12:38:51 Modified files: htdocs : news.raw ppl.raw Log message: Announce the release of version 0.4.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:57 Modified files: . : configure.ac Log message: Update version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ChangeLog
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:51 Modified files: . : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&on…

1 0

ppl/Watchdog ChangeLog
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:20 Modified files: Watchdog : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0