<HTML> <HEAD> <TITLE>Berkeley TestFloat Package Overview</TITLE> </HEAD> <BODY> <H1>Package Overview for Berkeley TestFloat Release 3e</H1> <P> John R. Hauser<BR> 2018 January 20<BR> </P> <P> 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. </P> <P> The TestFloat package is documented in the following files in the <CODE>doc</CODE> subdirectory: <BLOCKQUOTE> <TABLE> <TR> <TD><A HREF="doc/TestFloat-general.html"><NOBR><CODE>TestFloat-general.html</CODE></NOBR></A></TD> <TD> General documentation for understanding and using the TestFloat programs. </TD> </TR> <TD><A HREF="doc/testfloat_gen.html"><NOBR><CODE>testfloat_gen.html</CODE></NOBR></A></TD> <TD> Specific documentation for the <CODE>testfloat_gen</CODE> program. </TD> </TR> <TR> <TD><A HREF="doc/testfloat_ver.html"><NOBR><CODE>testfloat_ver.html</CODE></NOBR></A></TD> <TD> Specific documentation for the <CODE>testfloat_ver</CODE> program. </TD> </TR> <TR> <TD><A HREF="doc/testfloat.html"><NOBR><CODE>testfloat.html</CODE></NOBR></A></TD> <TD> Specific documentation for the all-in-one <CODE>testfloat</CODE> program. </TD> </TR> <TR> <TD><A HREF="doc/testsoftfloat.html"><NOBR><CODE>testsoftfloat.html</CODE></NOBR></A></TD> <TD> Specific documentation for the <CODE>testsoftfloat</CODE> program. </TD> </TR> <TR> <TD><A HREF="doc/timesoftfloat.html"><NOBR><CODE>timesoftfloat.html</CODE></NOBR></A></TD> <TD> Specific documentation for the <CODE>timesoftfloat</CODE> program. </TD> </TR> <TR> <TD><A HREF="doc/TestFloat-source.html"><NOBR><CODE>TestFloat-source.html</CODE></NOBR></A></TD> <TD> Documentation for building TestFloat. </TD> </TR> <TR> <TD><A HREF="doc/TestFloat-history.html"><NOBR><CODE>TestFloat-history.html</CODE></NOBR></A><CODE> </CODE></TD> <TD> History of the major changes to TestFloat. </TD> </TR> </TABLE> </BLOCKQUOTE> Other files in the package comprise the source code for TestFloat. </P> </BODY>