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
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
