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