ASE2 CARD CATALOG ENTRY
Ada System Certifier_1 1.0 Date/Time of Processing: Monday 30 May 1994 11:52:15Am Overall Assessment of System: OK Classification of System: A Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries PASS Independence from a Specific Ada Compiler PASS Number of ... Files 1 Library Units 8 Lines 1642 Statements 898 Comments 310
This package is a floating mantissa definition of a binary FLOAT. It was first used on the DEC-10 and the VAX but should work for any since the parameters are obtained by initial sizing on the actual hardware. Otherwise the parameters could be set in the spec if known. This is a preliminary package that defines the properties of the particular floating point type.
The constants are those required by the routines described in "Software Manual for the Elementary Functions" W. Cody and W. Waite, Prentice-Hall 1980. Actually most are needed only for the test programs rather than the functions themselves. Most of these could be in the form of attributes if all the floating types to be considered were those built into the compiler.
DATE VERSION AUTHOR HISTORY 0/8/85 1.0 WIS JPMO Initial Release
This prologue must be included in all copies of this software. This software is copyright by the author. This software is released to the Ada community. This software is released to the Public Domain (note: software released to the Public Domain is not subject to copyright protection). 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)