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@cs.unipr.it Patricia M. Hill hill@comp.leeds.ac.uk Enea Zaffanella zaffanella@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'.