The core development team is very pleased to announce the availability of PPL 0.11, a new release of the Parma Polyhedra Library.
This release has many new features, some of which developed in strict coordination with the people behind GCC/Graphite. The main novelties are: - a class PIP_Problem that provides a Parametric Integer Programming problem solver; - "deterministic" timeout computation facilities; - support for termination analysis via the automatic synthesis of linear ranking functions; - support for approximating computations involving (bounded) machine integers. This release includes several other enhancements, speed improvements and some bug fixes. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/NEWS . For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Applied Formal Methods Laboratory Department of Mathematics University of Parma, Italy -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it
