Re: Parma Polyhedra Library 0.11.1

2011-02-20 Thread Jack Howarth
On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: > > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library. This release includes several important bug fixes > and performance improvements. Roberto, Have you had any reports of installa

gcc-4.3-20110220 is now available

2011-02-20 Thread gccadmin
Snapshot gcc-4.3-20110220 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.3-20110220/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.3 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches

Re: Parma Polyhedra Library 0.11.1

2011-02-20 Thread Dennis Clarke
> > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library. This release includes several important bug fixes > and performance improvements. I was awaiting this. I will now try this on Solaris. -- Dennis Clarke dcla...@opensolaris.ca <- Email related to t

Parma Polyhedra Library 0.11.1

2011-02-20 Thread Prof. Roberto Bagnara
We announce the availability of PPL 0.11.1, a new release of the Parma Polyhedra Library. This release includes several important bug fixes and performance improvements. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.1/NEWS F