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

[Roberto Bagnara]

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 at cs.unipr.it