Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] ML GMP new version
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Monniaux <David.Monniaux@e...>
Subject: [Caml-list] ML GMP new version
[Résumé en français: nouvelle version de ML GMP, interface avec GNU MP
http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz]

It is my pleasure to announce the new year's day release of ML GMP, the
library interfacing Objective Caml with GNU MP.

It is a complete rewrite of the earlier versions, which should fix some
tricky garbage collection problems reported by some users.

It features:
* Support for mpz (integers), mpq (rationals), mpf (floating-point), and,
optionally, mpfr if compiled with the MPFR extension library
(www.mpfr.org), which should anyway be integrated into future GNU MP
releases after copyright transfer questions are settled.

* Support for random functions.

* Serialization (hashes will be implemented in the future).

It supports GMP 3.1.1 (and 4.0, but the newer functions are not
supported), MPFR 2001 and 2001-10-26, OCaml 3.02 and 3.04.

It is mostly source-compatible with earlier releases.

http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz

The license is LGPL with a special exemption for static linking with an
application (same as the OCaml library).

It ships with an updated copy of J.C. Filliatre's Creal package.


David Monniaux            http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr