* Parma Polyhedra Library 0.12.1
@ 2012-04-16 20:14 Roberto Bagnara
0 siblings, 0 replies; only message in thread
From: Roberto Bagnara @ 2012-04-16 20:14 UTC (permalink / raw)
To: gcc-graphite, GCC Mailing List
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-04-16 20:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-04-16 20:14 Parma Polyhedra Library 0.12.1 Roberto Bagnara
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).