John R. Hauser
2018 January 20
Berkeley TestFloat is a small collection of programs for testing that an implementation of binary floating-point conforms to the IEEE Standard for Floating-Point Arithmetic. TestFloat is distributed in the form of C source code.
The TestFloat package is documented in the following files in the
doc subdirectory:
Other files in the package comprise the source code for TestFloat.
TestFloat-general.htmlGeneral documentation for understanding and using the TestFloat programs. testfloat_gen.htmlSpecific documentation for the testfloat_genprogram.testfloat_ver.htmlSpecific documentation for the testfloat_verprogram.testfloat.htmlSpecific documentation for the all-in-one testfloatprogram.testsoftfloat.htmlSpecific documentation for the testsoftfloatprogram.timesoftfloat.htmlSpecific documentation for the timesoftfloatprogram.TestFloat-source.htmlDocumentation for building TestFloat. TestFloat-history.htmlHistory of the major changes to TestFloat.