Archives of the Caml mailing list > Message from Jean-Christophe Filliatre

Browse thread

[Caml-list] OCaml and bignums

Roberto Bagnara
- Michel Quercia
  - Roberto Bagnara
    - Michel Quercia
      - David Monniaux
    - Jean-Christophe Filliatre
      - Roberto Bagnara
    - Remi Vanicat
      - Roberto Bagnara
        
        Christophe TROESTLER

Date:	-- (:)
From:	Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject:	Re: [Caml-list] OCaml and bignums


 > > 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.

-- 
Jean-Christophe

-------------------
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