This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Parma Polyhedra Library 1.1


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]