On Wed, Aug 04, 2010 at 05:43:33PM +0200, Roberto Bagnara wrote:
> The core development team is very pleased to announce the availability
> of PPL 0.11, a new release of the Parma Polyhedra Library.
>
> This release has many new features, some of which developed in strict
> coordination with the people behind GCC/Graphite. The main novelties
> are:
>
> - a class PIP_Problem that provides a Parametric Integer Programming
> problem solver;
>
> - "deterministic" timeout computation facilities;
>
> - support for termination analysis via the automatic synthesis of
> linear ranking functions;
>
> - support for approximating computations involving (bounded)
> machine integers.
Roberto,
I noticed that this release bumps the actual soversion numbers so
that we have libppl.9.dylib, libpwl.5.dylib and libppl_c.4.dylib rather
than libppl.7.dylib, libpwl.4.dylib and libppl_c.2.dylib from the
0.10.x releases. So I assume we now need legacy ppl packages for
the older cloog library builds and will have to bump the soversion
on any newer cloog that builds against ppl 0.11, right?
Jack
>
> This release includes several other enhancements, speed improvements
> and some bug fixes. The precise list of user-visible changes is
> available at
> http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/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,
>
> Roberto Bagnara Patricia M. Hill Enea Zaffanella
>
> Applied Formal Methods Laboratory
> Department of Mathematics
> University of Parma, Italy
>
> --
> Prof. Roberto Bagnara
> Applied Formal Methods Laboratory
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagn...@cs.unipr.it
>
