Browse thread
MLGMP 0.14
- David Monniaux
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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