From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA18450 for caml-redistribution; Wed, 14 May 1997 17:56:48 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17679 for ; Wed, 14 May 1997 17:18:40 +0200 (MET DST) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id RAA25450 for ; Wed, 14 May 1997 17:18:37 +0200 (MET DST) Received: from lip.ens-lyon.fr (lip [140.77.11.11]) by cri.ens-lyon.fr (8.8.5/8.8.1) with ESMTP id RAA20665 for ; Wed, 14 May 1997 17:18:37 +0200 (MET DST) Received: from anjou.ens-lyon.fr (anjou [140.77.11.117]) by lip.ens-lyon.fr (8.8.5/8.8.0) with ESMTP id RAA22158; Wed, 14 May 1997 17:18:30 +0200 (MET DST) Received: (from jcfillia@localhost) by anjou.ens-lyon.fr (8.8.5/8.8.0) id RAA26548; Wed, 14 May 1997 17:18:29 +0200 (MET DST) Date: Wed, 14 May 1997 17:18:29 +0200 (MET DST) Message-Id: <199705141518.RAA26548@anjou.ens-lyon.fr> From: Jean-Christophe Filliatre To: caml-list@inria.fr CC: Jean-Christophe.Filliatre@ens-lyon.fr Subject: 32-bit integers library Reply-to: Jean-Christophe.Filliatre@ens-lyon.fr (Jean-Christophe Filliatre) Content-Type: text Sender: weis 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