[PPL-devel] Why we now require GMP 4.1.3 or higher

The reason is that our implementation of checked integers takes advantage of the following change that was made in GMP 4.1.3 (excerpt from their NEWS file): * mpz_export allows NULL for countp parameter. This new feature is exploited in several places in checked_mpz.inlines.hh. Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it