From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Float conversion
Date: Wed, 04 Aug 2010 22:29:50 +0200
Date: 2010-08-04T22:29:50+02:00 [thread overview]
Message-ID: <4c59cdbe$0$6771$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <m2fwyu9nlv.fsf@pushface.org>
On 8/4/10 9:36 PM, Simon Wright wrote:
> "Dmitry A. Kazakov"<mailbox@dmitry-kazakov.de> writes:
>
>> (some things are stateful. A pipelined CPU pipeline definitely is. We
>> used to ignore that, can we for "exhaustive" testing?)
>
> If we can't we are all doomed.
FPT programs are a little more complex to test in full anyway,
so exhaustion is relative :-)
The subject seems to have been on the radar since the beginning:
http://archive.adaic.com/standards/83rat/html/ratl-05-03.html#5.3.1
With notes on "=" and "/=" and whether to provide these
operation at all with Ada floating point types.
next prev parent reply other threads:[~2010-08-04 20:29 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-29 12:23 Float conversion Henrique
2010-07-29 12:44 ` Jacob Sparre Andersen
2010-07-29 12:46 ` Dmitry A. Kazakov
2010-07-29 15:08 ` Georg Bauhaus
2010-07-29 15:10 ` Georg Bauhaus
2010-07-29 15:35 ` Dmitry A. Kazakov
2010-07-29 18:21 ` Henrique
2010-07-29 19:08 ` Jeffrey R. Carter
2010-07-29 19:15 ` Dmitry A. Kazakov
2010-07-30 1:30 ` Phil Clayton
2010-07-30 8:43 ` Dmitry A. Kazakov
2010-07-30 13:14 ` Phil Clayton
2010-07-30 14:34 ` Dmitry A. Kazakov
2010-07-31 15:12 ` Stephen Leake
2010-08-03 1:07 ` Phil Clayton
2010-08-03 3:31 ` Shark8
2010-08-03 10:38 ` Georg Bauhaus
2010-08-04 7:27 ` Stephen Leake
2010-08-04 16:15 ` Georg Bauhaus
2010-08-04 16:32 ` Phil Clayton
2010-08-04 7:26 ` Stephen Leake
2010-08-04 12:52 ` Robert A Duff
2010-08-04 14:32 ` Dmitry A. Kazakov
2010-08-04 19:36 ` Simon Wright
2010-08-04 19:46 ` Dmitry A. Kazakov
2010-08-04 20:29 ` Georg Bauhaus [this message]
2010-08-05 12:05 ` Stephen Leake
2010-08-07 5:54 ` Shark8
2010-08-07 8:56 ` Georg Bauhaus
2010-08-07 13:49 ` Shark8
2010-08-05 10:20 ` Phil Clayton
2010-07-30 13:16 ` Henrique
2010-07-29 15:37 ` Warren
2010-07-29 14:56 ` Georg Bauhaus
2010-07-29 17:56 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox