Parma Polyhedra Library 1.0

[Roberto Bagnara]

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:bag...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto...@bugseng.com