[PPL-announce] Parma Polyhedra Library 0.10.2

[Roberto Bagnara]

We announce the availability of PPL 0.10.2, a new release of the Parma
Polyhedra Library fixing a few bugs affecting PPL 0.10.1.

The precise list of user-visible changes is below.
For more information, please come and visit the PPL web site at

     http://www.cs.unipr.it/ppl/

The core development team,

         Roberto Bagnara  <bagnara at cs.unipr.it>
         Patricia M. Hill <hill at comp.leeds.ac.uk>
         Enea Zaffanella  <zaffanella at cs.unipr.it>


--------------------------------------------------------------------------
NEWS for version 0.10.2  (released on April 18, 2009)
--------------------------------------------------------------------------

Bugfixes
========

o  Correctly detect GMP 4.3.0.

o  Fixed the C interface library version information.

o  Test program tests/Polyhedron/memory1 disabled on the zSeries s390x
    platform.

o  Makefiles fixed so as to avoid failure of `make -n check'.


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