Re: [PPL-devel] Snapshots of PPL 0.10.2 available for testing

On Thu, Apr 16, 2009 at 2:08 PM, Roberto Bagnara bagnara@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.