ASE2 CARD CATALOG ENTRY
Ada System Certifier_1 1.0 Date/Time of Processing: Monday 30 May 1994 01:23:55Pm Overall Assessment of System: OK Classification of System: B Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries FAIL Independence from a Specific Ada Compiler PASS Explanations for failures -- System withs non-standard library units that are not provided Number of ... Files 10 Library Units 13 Lines 2108 Statements 754 Comments 367 Unidentified Withed Units -- 2 unidentified withed units
This package contains some sample implementations of the proposed standards by ACM SIGAda Numerics Working Group and Ada-Europe Numerics Working Group.
Since I couldn't find a machine readable form of the specifications, I had to retype them by hand. I think I got the same as in the Postscript version :-)
The zip file contains the following files:
ae.a -- spec of ARRAY_EXCEPTIONS gcef.a -- spec of GENERIC_COMPLEX_ELEMENTARY_FUNCTIONS gcef_b.a -- sorry, no working body yet gct.a -- spec of GENERIC_COMPLEX_TYPES gct_b.a -- my body of GENERIC_COMPLEX_TYPES grt.a -- spec of GENERIC_REAL_TYPES grt_b.a -- my body of GENERIC_REAL_TYPES lrt.a -- instantiation of GENERIC_REAL_TYPES for LONG_FLOAT rt.a -- instantiation of GENERIC_REAL_TYPES for FLOAT srt.a -- instantiation of GENERIC_REAL_TYPES for SHORT_FLOAT
Some of the packages need the packages 'ELEMENTARY_FUNCTIONS_EXCEPTIONS' and gct_b.a needs 'LONG_ELEMENTARY_FUNCTIONS'. Most compiler vendors deliver these packages (as I know : Meridian, Telesoft, and Alsys), so there was no need for me to program them again (and probably they do a better job).
They were tested to some degree, but not extensively. Pay attention! I'd be glad to receive any message (bug reports, hints for improvement, thanks, please, no flames)
9 Aug 93 1.0.2 Rolf Ebert Initial Release to the PAL
This prologue must be included in all copies of this software. Restrictions on use or distribution: NONE
This software and its documentation are provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to test the software thoroughly before relying on it. The user must assume the entire risk and liability of using this software. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.
Powered by the Generic Web-Based Reuse Library (GWRL)