[PPL-devel] Snapshots of PPL 0.10.2 available for testing
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 16 14:08:32 CEST 2009
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.
- Makefiles fixed so as to avoid failure of `make -n check'.
If no further issues are reported, that snapshot will be
relabeled PPL 0.10.2 and released on Saturday, April 18, 2009.
Thanks to all who provided feedback.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list