fptest
Version 0.2.3.0 revision 0 uploaded by jrp.
Package meta
- Synopsis
- IEEE754r floating point conformance tests
- Description
A series of floating point conformance tests for Haskell. Currently implemented are: QTrial, the floating point benchmark described in / IEEE Standard 754 for Binary Floating-Point Arithmetic by Prof. W. Kahan <http:www.eecs.berkeley.edu~wkahanieee754statusIEEE754.PDF> This can be run with a simple
cabal run qtrial. FPTest runs a sequence of floating point test vectors generated by IBM's FPGen Floating-Point Test Generator. This is done either by interpreting the tests or by translating the tests into a Haskell HUnit test suite script that can just be executed usingrunhaskell. The IBM test vectors are available from here. You will, most likely, want the binary tests unless you have a decimal machine. Only 32-bit float tests are provided (not 64-bit double ones) although FPTest supports Doubles. The syntax of the test vectors can be found here or in Chapter 4 <https://www.research.ibm.com/haifa/projects/verification/fpgen/papers/ieee-test-suite-v2.pdfs Floating-Point Test-Suite for IEEE here>- Author
- John Pavel
- Bug reports
- https://github.com/jrp2014/fptest/issues
- Category
- Math
- Copyright
- 2014, 2018 John Pavel and 2004 IBM Corp
- Homepage
- https://github.com/jrp2014/fptest
- Maintainer
- jrp@dial.pipex.com
- Package URL
- n/a
- Stability
- alpha