ppl

PPL 1.2 has been released

This release includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements. See the release notes for more information.

PPL 1.1 has been released

This release includes support for positive time elapse, a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. See the release notes for more information.

PPL 1.0 has been released

This release includes support for the optimized representation of sparse vectors of coefficients, achieving significant performance improvements, e.g., when dealing with constraint systems describing weakly relational abstractions such as boxes and octagonal shapes. See the release notes for more information.

PPL 0.12.1 has been released

This release includes portability improvements, a couple of new minor features, some interface changes and an important bug fix concerning the PIP solver. See the release notes for more information.

New paper to appear on Information and Computation

The paper A New Look at the Automatic Synthesis of Linear Ranking Functions has been accepted for publication on Information and Computation. The paper presents two algorithms for the synthesis of linear ranking functions that have important applications in automatic termination analysis of computer programs. The algorithms are fully implemented in the Parma Polyhedra Library.

PPL 0.12 has been released

This release includes portability improvements, a few bug fixes, and performance improvements for the MIP and PIP solvers. Configurability has also been improved, especially as far as the detection of GMP is concerned. ECLAIR has been introduced into the development workflow to bring the PPL into conformance with the applicable rules in MISRA, CERT, NASA/JPL, ESA/BSSC and other widely-used coding standards. See the release notes for more information.

The PPL has a new logo and web site

Thanks to BUGSENG, the Parma Polyhedra Library has a new logo and a completely renovated web site. If you are reading this, you have discovered that the new URI for the PPL is http://bugseng.com/products/ppl.

PPL 0.11.2 has been released

This release fixes a few minor bugs of PPL 0.11.1. See the release notes for more information.

PPL 0.11.1 has been released

This release includes several important bug fixes and performance improvements. See the release notes for more information.

BUGSENG is the new copyright holder

The copyright of the Parma Polyhedra Library has been transferred to BUGSENG a newly established spin-off company of the University of Parma. The PPL will of course continue to be free software, but commercial licensing, support and maintenance is now available from BUGSENG .

Syndicate content