This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Parma Polyhedra Library 0.11.2
- From: "Prof. 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: Sun, 27 Feb 2011 16:53:14 +0100
- Subject: Parma Polyhedra Library 0.11.2
We announce the availability of PPL 0.11.2, a new release of the Parma
Polyhedra Library. This release fixes a few minor bugs in PPL 0.11.1.
The precise list of user-visible changes is available at
http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.2/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,
Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella
--
Prof. Roberto Bagnara CEO & CTO
Applied Formal Methods Laboratory BUGSENG srl
Department of Mathematics Parco Area delle Scienze 53/A
University of Parma, Italy I-43124 Parma, Italy
http://www.cs.unipr.it/~bagnara/ http://bugseng.com/
mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com