The core development team is very pleased to announce the availability of PPL 1.0, a new release of the Parma Polyhedra Library.
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. The precise list of user-visible changes is available at http://bugseng.com/products/ppl/download/ftp/releases/1.0/NEWS . For more information, please come and visit the PPL web site at http://bugseng.com/products/ppl sbpi1_bdiv_r.c On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com
