This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Parma Polyhedra Library 1.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: Tue, 29 Oct 2013 14:10:21 +0100
- Subject: Parma Polyhedra Library 1.1
- Authentication-results: sourceware.org; auth=none
The core development team is very pleased to announce the availability
of PPL 1.1, a new release of the Parma Polyhedra Library.
This release includes support for "positive time elapse," a new operator
on polyhedra, improvements to the Java interface, several portability
improvements and a few bug fixes.
The precise list of user-visible changes is available at
http://bugseng.com/products/ppl/download/ftp/releases/1.1/NEWS .
For more information, please come and visit the 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