English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] OCaml and bignums
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-10 (17:47)
From: Roberto Bagnara <bagnara@c...>
Subject: Re: [Caml-list] OCaml and bignums
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.


Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy

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