From owner-qed Sun Dec 11 17:46:55 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id RAA23963 for qed-out; Sun, 11 Dec 1994 17:43:24 -0600
Received: from chelm.nmt.edu (chelm.nmt.edu [129.138.6.50]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id RAA23958 for <qed@mcs.anl.gov>; Sun, 11 Dec 1994 17:43:19 -0600
Received: (from yodaiken@localhost) by chelm.nmt.edu (8.6.8.1/8.6.6) id QAA01406 for qed@mcs.anl.gov; Sun, 11 Dec 1994 16:47:01 -0700
Message-Id: <199412112347.QAA01406@chelm.nmt.edu>
From: yodaiken@sphinx.nmt.edu (Victor Yodaiken)
Date: Sun, 11 Dec 1994 16:47:01 -0700
reply_to: yodaiken@chelm.nmt.edu
X-Mailer: Mail User's Shell (7.2.5 10/14/92)
To: qed@mcs.anl.gov
Subject: Hardware verification
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

There is an interesting discussion on this issue in the RISKs forum.
Does anyone know what INMOS got wrong in their floating point spec?