fptest: IEEE754r floating point conformance tests
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 using
The IBM test vectors are available from
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
Floating-Point Test-Suite for IEEE here>
[Skip to Readme]
|Versions||0.2.1.0, 0.2.2.0, 0.2.3.0 (info)|
|Dependencies||base (>=4.7 && <5), HUnit (>=1.2 && <1.7), parsec (==3.1.*), parsec3-numbers (>=0.0 && <0.2), QuickCheck (>=2.7 && <3), test-framework (==0.8.*), test-framework-hunit (==0.3.*), test-framework-quickcheck2 (==0.3.*) [details]|
|Copyright||2014, 2018 John Pavel and 2004 IBM Corp|
|Source repo||head: git clone https://github.com/jrp2014/fptest.git -b master|
|Uploaded||by jrp at Thu Nov 15 22:42:29 UTC 2018|
|Downloads||973 total (53 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs not available [build log]
All reported builds failed as of 2018-11-15 [all 3 reports]
Hackage Matrix CI
For package maintainers and hackage trustees