From: dik@mcvax.uucp (Dik T. Winter)
Subject: validity of validation
Date: Mon, 27-Oct-86 18:51:37 EST [thread overview]
Date: Mon Oct 27 18:51:37 1986
Message-ID: <315@zuring.mcvax.UUCP> (raw)
Do you trust the attributes your validated Ada system returns?
Don't. The attributes for floating-point types on our compiler
are nearly all wrong. FLOAT'MACHINE_MANITISSA is 2 while the
machine is hexadecimal! Is it possible to check these attributes?
As far as I know there is not a really portable program to do this,
but there is one that is nearly portable (it works on most machines;
the only exception I know of is the CDC Cyber 205; it can be found
(in Fortran) in the special functions cookbook by Cody and Waite).
And yes, our compiler is the compiler that needs eternity and
infinite storage to compile any reasonable program using LONG_FLOAT.
--
dik t. winter, cwi, amsterdam, nederland
UUCP: {seismo,decvax,philabs,okstate,garfield}!mcvax!dik
or: dik@mcvax.uucp
ARPA: dik%mcvax.uucp@seismo.css.gov
reply other threads:[~1986-10-27 23:51 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox