[PPL-announce] Parma Polyhedra Library 0.4.1

[Roberto Bagnara]

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 at cs.unipr.it>
       Patricia M. Hill <hill at comp.leeds.ac.uk>
       Elisa Ricci      <ericci at cs.unipr.it>
       Enea Zaffanella  <zaffanella at 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 at cs.unipr.it