Browse thread
32-bit integers library
- Jean-Christophe Filliatre
[
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: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@e...> |
| Subject: | 32-bit integers library |
Hello, I wrote a little library for signed 32-bit integers (for Objective Caml). It is available at the following URL http://www.ens-lyon.fr/~jcfillia/ftp/ocaml/int32 or by FTP at ftp://www.ens-lyon.fr/pub/users/LIP/jcfillia/ocaml/int32 It is free, but it has not been tested a lot, to be honest. All comments are welcome. -- Jean-Christophe FILLIATRE email: Jean-Christophe.Filliatre@ens-lyon.fr WWW : http://www.ens-lyon.fr/~jcfillia [français] J'ai écrit une petite bibliothèque d'entiers 32 bits signés pour Objective Caml. C'est disponible aux adresses suivantes: http://www.ens-lyon.fr/~jcfillia/ftp/ocaml/int32 ftp://www.ens-lyon.fr/pub/users/LIP/jcfillia/ocaml/int32 Elle n'a pas été beaucoup testée, mais vous pouvez l'utiliser librement. Tous les commentaires sont les bienvenus. -- Jean-Christophe FILLIATRE email: Jean-Christophe.Filliatre@ens-lyon.fr WWW : http://www.ens-lyon.fr/~jcfillia