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:

• TestFloat-general.html General documentation for understanding and using the TestFloat programs.
• testfloat_gen.html Specific documentation for the testfloat_gen program.
• testfloat_ver.html Specific documentation for the testfloat_ver program.
• testfloat.html Specific documentation for the all-in-one testfloat program.
• testsoftfloat.html Specific documentation for the testsoftfloat program.
• timesoftfloat.html Specific documentation for the timesoftfloat program.
• TestFloat-source.html Documentation for building TestFloat.
• TestFloat-history.html History of the major changes to TestFloat.

Other files in the package comprise the source code for TestFloat.