Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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 m

Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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 i

Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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? righ

Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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 snapsh

Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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 pe

Re: Parma Polyhedra Library 0.11

2010-08-04 Thread 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.

Parma Polyhedra Library 0.11

2010-08-04 Thread 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