From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-163575-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 20960 invoked by alias); 4 Aug 2010 18:59:03 -0000
Received: (qmail 20948 invoked by uid 22791); 4 Aug 2010 18:59:02 -0000
X-SWARE-Spam-Status: No, hits=-1.9 required=5.0	tests=AWL,BAYES_00,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from bromo.med.uc.edu (HELO bromo.med.uc.edu) (129.137.3.146)    by sourceware.org (qpsmtpd/0.43rc1) with SMTP; Wed, 04 Aug 2010 18:58:58 +0000
Received: from bromo.med.uc.edu (localhost.localdomain [127.0.0.1])	by bromo.med.uc.edu (Postfix) with ESMTP id 93092B0045;	Wed,  4 Aug 2010 14:58:56 -0400 (EDT)
Received: (from howarth@localhost)	by bromo.med.uc.edu (8.14.3/8.14.3/Submit) id o74Iwt82006859;	Wed, 4 Aug 2010 14:58:55 -0400
Date: Wed, 04 Aug 2010 19:06:00 -0000
From: Jack Howarth <howarth@bromo.med.uc.edu>
To: Roberto Bagnara <bagnara@cs.unipr.it>
Cc: gcc-graphite <gcc-graphite@googlegroups.com>,        GCC Mailing List <gcc@gcc.gnu.org>
Subject: Re: Parma Polyhedra Library 0.11
Message-ID: <20100804185855.GA6835@bromo.med.uc.edu>
References: <4C598AA5.8060202@cs.unipr.it>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <4C598AA5.8060202@cs.unipr.it>
User-Agent: Mutt/1.5.18 (2008-05-17)
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
X-SW-Source: 2010-08/txt/msg00066.txt.bz2

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:bagnara@cs.unipr.it
>