John Hauser

The SoftFloat and TestFloat Packages

[] Berkeley SoftFloat is a free, high-quality software implementation of binary floating-point that conforms to the IEEE Standard for Floating-Point Arithmetic. SoftFloat is written in ISO/ANSI C, and should be compilable with most ISO-conformant C compilers.
[] 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 relies on SoftFloat to provide an implementation to compare against.


John Hauser, 2015 February 16