README.txt

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 "doc"
subdirectory:

    TestFloat-general.html  General documentation for understanding and using
                             the TestFloat programs.
    testfloat_gen.html      \
    testfloat_ver.html      | Specific documentation for each TestFloat
    testfloat.html          |  program.
    testsoftfloat.html      |
    timesoftfloat.html      /
    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.