This is the mail archive of the
mailing list for the GCC project.
Re: Parma Polyhedra Library 0.11
- From: Roberto Bagnara <bagnara at cs dot unipr dot it>
- To: Jack Howarth <howarth at bromo dot med dot uc dot edu>
- Cc: gcc-graphite <gcc-graphite at googlegroups dot com>, GCC Mailing List <gcc at gcc dot gnu dot org>, "The Parma Polyhedra Library developers' list" <ppl-devel at cs dot unipr dot it>
- Date: Thu, 05 Aug 2010 08:40:33 +0200
- Subject: Re: Parma Polyhedra Library 0.11
- References: <4C598AA5.firstname.lastname@example.org> <20100804185855.GA6835@bromo.med.uc.edu>
On 08/04/10 20:58, Jack Howarth wrote:
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
- a class PIP_Problem that provides a Parametric Integer Programming
- "deterministic" timeout computation facilities;
- support for termination analysis via the automatic synthesis of
linear ranking functions;
- support for approximating computations involving (bounded)
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
yes, the soversion numbers have been updated as needed
(this should not come as a surprise though).
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?
I am not familiar enough with cloog to answer that.
What I can do is to recommend the use of PPL 0.11 instead
of PPL 0.10.* for the reasons explained in the NEWS file.
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy