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 <bagn...@cs.unipr.it> Patricia M. Hill <h...@comp.leeds.ac.uk> Enea Zaffanella <zaffane...@cs.unipr.it> -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it
