This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Parma Polyhedra Library 0.12.1
- From: Roberto Bagnara <bagnara at cs dot unipr dot it>
- To: gcc-graphite <gcc-graphite at googlegroups dot com>, GCC Mailing List <gcc at gcc dot gnu dot org>
- Date: Mon, 16 Apr 2012 22:14:09 +0200
- Subject: Parma Polyhedra Library 0.12.1
The core development team is pleased to announce the availability
of PPL 0.12.1, a new release of the Parma Polyhedra Library.
This release includes portability improvements, a couple of new
minor features, some interface changes and an important bug fix
concerning the PIP solver.
The precise list of user-visible changes is available at
http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/NEWS .
For more information, please come and visit the new PPL web site at
http://bugseng.com/products/ppl
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:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com