Package Overview for Berkeley TestFloat Release 3e

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

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.