fptest
Version 0.2.1.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 QTrial is 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 FPTest runs a sequence of floating point test vectors generated by IBM's FPGen Floating-Point Test Generator. This is done in two ways: * By interpreting the tests * By translating the tests into a Haskell HUnit test suite script that can just be executed usingrunhaskellThe 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 founds here or in Chapter 4 of <https://www.research.ibm.com/haifa/projects/verification/fpgen/papers/ieee-test-suite-v2.pdfs Floating-Point Test-Suite for IEEE>- Author
- John Pavel
- Bug reports
- https://github.com/jrp2014/fptest/issues
- Category
- Math
- Copyright
- 2014 John Pavel and 2004 IBM Corp
- Homepage
- https://github.com/jrp2014/fptest
- Maintainer
- jrp@dial.pipex.com
- Package URL
- n/a
- Stability
- alpha