Version française
Home     About     Download     Resources     Contact us    
Browse thread
MLGMP 0.14
[ 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: MLGMP 0.14
J.C. Filliâtre ported MLGMP to OCaml 3.0. Kudos to him!

http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz for the latest
release.

Warning: MLGMP currently works only with GNU MP 2.0, *NOT* 3.0. I'll port
it if I see a clear advantage in GNU MP 3 over 2.

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