Jean-Christophe Filliatre wrote:
>  > > 2. MLGMP : bindings for the GNU Multiprecision library, maintained by David Monniaux (http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz). It provides support for big integers, for rationnals and for big precision floats.
>  > 
>  > As far as you can tell, is it still maintained?  The latest
>  > item in ChangeLog appears to be on November 2002.
> 
> David will probably answer, but you  should keep in mind that MLGML is
> nothing but  a stub code to  a C library  and thus does not  need much
> maintenance  (the GMP  interface  is quite  stable).  I've used  MLGMP
> several times since Nov 2002 and never had trouble with it.

That is certainly a good point.
Thanks!

     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

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners