-------- Original Message -------- Subject: Re: Parma Polyhedra Library 0.10.1 Date: Tue, 14 Apr 2009 17:51:33 +0200 From: Richard Guenther <richard.guenther@gmail.com> To: Roberto Bagnara <bagnara@cs.unipr.it> CC: GCC Mailing List <gcc@gcc.gnu.org> References: <49E48948.60300@cs.unipr.it> On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara <bagnara@cs.unipr.it> wrote:

We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library.

This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging and several bug fixes. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.10.1/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 contributors listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS,

Roberto Bagnara <bagnara@cs.unipr.it> Patricia M. Hill <hill@comp.leeds.ac.uk> Enea Zaffanella <zaffanella@cs.unipr.it>

It seems to build and test ok on {i586,ia64,ppc,ppc64,s390,x86_64}-linux but I get PASS: nnc_writepolyhedron1 /bin/sh: line 4: 29952 Segmentation fault ${dir}$tst FAIL: memory1 ====================================== 1 of 191 tests failed Please report to ppl-devel@cs.unipr.it ====================================== on s390x-linux. Does the testsuite stop after the first error? If not, what is memory1 testing? Thanks, Richard. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it