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 AAA23157 for caml-red; Mon, 17 Jul 2000 00:08:30 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA02218 for ; Wed, 12 Jul 2000 03:40:33 +0200 (MET DST) Received: from lakeland.eecs.harvard.edu (lakeland.eecs.harvard.edu [140.247.62.173]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6C1eWT08016 for ; Wed, 12 Jul 2000 03:40:32 +0200 (MET DST) Received: from garp.eecs.harvard.edu (h000a27dde966.ne.mediaone.net [24.91.56.16]) by lakeland.eecs.harvard.edu (Postfix) with ESMTP id 9B8021FDAA for ; Tue, 11 Jul 2000 21:40:12 -0400 (EDT) Received: by garp.eecs.harvard.edu (Postfix, from userid 1000) id 0C7F34463; Tue, 11 Jul 2000 21:31:39 -0400 (EDT) Date: Tue, 11 Jul 2000 21:31:39 -0400 From: Christian Lindig To: Caml Mailing List Subject: IEEE floating point emulation library? Message-ID: <20000711213139.A339@eecs.harvard.edu> Mail-Followup-To: Caml Mailing List Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii User-Agent: Mutt/1.0.1i Sender: weis@pauillac.inria.fr For a compiler project I am looking for an IEEE floating point emulation. I have already checked http://caml.inria.fr/hump.html and the OCaml link database for such a libray. Does anybody has written something like this for OCaml? To answer the obvious question, why not use the built in float data type: I need access to the representation at the bit level. Some code that decodes a float value into a bit vector (int32/int64) and back would be also helpful. -- Christian -- Christian Lindig Harvard University - EECS lindig@eecs.harvard.edu 33 Oxford St, MD 242, Cambridge MA 02138 phone: (617) 496-7157 http://www.eecs.harvard.edu/~lindig/