[PPL-devel] Snapshots of PPL 0.10.2 available for testing
Richard Guenther
richard.guenther at gmail.com
Thu Apr 16 16:48:53 CEST 2009
On Thu, Apr 16, 2009 at 2:08 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>
> All the problems of PPL 0.10.1 we are aware of have been
> fixed in the snapshot of PPL 0.10.2 available at
>
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
>
> In particular here is what has changed:
>
> - Correctly detect GMP 4.3.0.
>
> - Fixed the C interface library version information.
>
> - Test program tests/Polyhedron/memory1 disabled on the zSeries s390x
> platform.
Huh. It looks like the test only randomly fails. Thus I didn't notice
that the preprocessor define is __s390x__ instead of __s390x.
Otherwise it works all fine now.
Thanks,
Richard.
More information about the PPL-devel
mailing list