validity of validation

Article View: net.lang.ada

Article #1031

#1031

From: Dik T. Winter
Date: Mon, 27 Oct 1986 23:51

17 lines
1272 bytes

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

Technical Details

Message-ID: <315@zuring.mcvax.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!mcvax!dik

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!mcvax!dik
From: dik@mcvax.uucp (Dik T. Winter)
Newsgroups: net.lang.ada
Subject: validity of validation
Message-ID: <315@zuring.mcvax.UUCP>
Date: Mon, 27-Oct-86 18:51:37 EST
Article-I.D.: zuring.315
Posted: Mon Oct 27 18:51:37 1986
Date-Received: Wed, 29-Oct-86 09:19:23 EST
Organization: CWI, Amsterdam
Lines: 16
Apparently-To: rnews@mcvax