Parma Polyhedra Library 0.11

Parma Polyhedra Library 0.11

[Roberto Bagnara]

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.

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

Re: Parma Polyhedra Library 0.11

[Justin P. Mattock]

On 08/04/2010 08:43 AM, 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.
>
> 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
>

cool.. just downloaded it.. just curious if I need to install ppl and 
cloog on the system then build gcc? right now with the latest snapshot 
of gcc, mpfr gmp are in the source tree and build fine but as soon as I 
add cloog ppl and mpc I crapp out at ppl telling me it cant find gmp

keep in mind this is my first attempt to build gcc with all these 
packages in the source tree of gcc rather than building them separately.

Justin P. Mattock

Re: Parma Polyhedra Library 0.11

[Jack Howarth]

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
>

Re: Parma Polyhedra Library 0.11

[Roberto Bagnara]

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
>> 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.

Hi Jack,

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.
Cheers,

    Roberto

-- 
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

Re: Parma Polyhedra Library 0.11

[Roberto Bagnara]

On 08/05/10 05:09, Dennis Clarke wrote:
> On a number of occasions I have tried to build ppl and Cloog and watched
> the process fail repeatedly.  I have yet to see it complete with any
> degree of success.  Perhaps this is due to some strange issue with gmp and
> mpfr header versions and a false error message about libgmp versions is
> generally seen early in the build process.
>
> If this fault in the ppl/cloog code has been fixed then I'll be quite glad
> to see it.

Hi Dennis,

I am not sure I understand the problems you are talking about
(a release candidate has been announced back in april and no
one reported this problem).
However, PPL 0.11 has new, simpler options to indicate the GMP
installation to use.  These are:

   --with-gmp-prefix[=DIR]  search for libgmp, libgmpxx in DIR/include and DIR/lib
   --with-gmp-build=DIR    use a non-installed build of GMP in DIR

If you run into problem, please file a bug at

     https://www.cs.unipr.it/mantis/

Cheers,

    Roberto

-- 
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

Re: Parma Polyhedra Library 0.11

[Justin P. Mattock]

On 08/04/2010 08:09 PM, Dennis Clarke wrote:
>
>>> Roberto Bagnara Patricia M. Hill Enea Zaffanella
>>>
>>> Applied Formal Methods Laboratory
>>> Department of Mathematics
>>> University of Parma, Italy
>>>
>>
>> cool.. just downloaded it.. just curious if I need to install ppl and
>> cloog on the system then build gcc? right now with the latest snapshot
>> of gcc, mpfr gmp are in the source tree and build fine but as soon as I
>> add cloog ppl and mpc I crapp out at ppl telling me it cant find gmp
>>
>> keep in mind this is my first attempt to build gcc with all these
>> packages in the source tree of gcc rather than building them separately.
>>
>
> On a number of occasions I have tried to build ppl and Cloog and watched
> the process fail repeatedly.  I have yet to see it complete with any
> degree of success.  Perhaps this is due to some strange issue with gmp and
> mpfr header versions and a false error message about libgmp versions is
> generally seen early in the build process.
>
> If this fault in the ppl/cloog code has been fixed then I'll be quite glad
> to see it. If not then I shall continue to work with GCC without either
> ppl or cloog as their absence seems to not matter a bit.  This is entirely
> based on my experiences within the Solaris world where we still have
> issues with the GNU Binutils ld linker also.
>

yeah I ended up fussing around with previous versions but had no luck.
after looking through the gcc documentation(don't have the location off 
hand due to my frenzy for searching for results), but what I noticed is 
gmp, mpfr, and mpc can be put in the source tree.(only thing it had said 
with cloog and ppl was to use the --with-cloog/ppl switches).

After doing this my build went through and finished. Although seems gcc 
gets out of whack building a clfs system with two different versions of 
ppl/cloog(hosts system/new system etc..)
figured once im able to boot the fresh system I'll probably rebuild with 
ppl/cloog added in.

Justin P. Mattock

Re: Parma Polyhedra Library 0.11

[Dennis Clarke]

>> Roberto Bagnara Patricia M. Hill Enea Zaffanella
>>
>> Applied Formal Methods Laboratory
>> Department of Mathematics
>> University of Parma, Italy
>>
>
> cool.. just downloaded it.. just curious if I need to install ppl and
> cloog on the system then build gcc? right now with the latest snapshot
> of gcc, mpfr gmp are in the source tree and build fine but as soon as I
> add cloog ppl and mpc I crapp out at ppl telling me it cant find gmp
>
> keep in mind this is my first attempt to build gcc with all these
> packages in the source tree of gcc rather than building them separately.
>

On a number of occasions I have tried to build ppl and Cloog and watched
the process fail repeatedly.  I have yet to see it complete with any
degree of success.  Perhaps this is due to some strange issue with gmp and
mpfr header versions and a false error message about libgmp versions is
generally seen early in the build process.

If this fault in the ppl/cloog code has been fixed then I'll be quite glad
to see it. If not then I shall continue to work with GCC without either
ppl or cloog as their absence seems to not matter a bit.  This is entirely
based on my experiences within the Solaris world where we still have
issues with the GNU Binutils ld linker also.

-- 
Dennis