-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfptest.cabal
129 lines (90 loc) · 5.1 KB
/
fptest.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
name: fptest
-- The package version. See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary: +-+------- breaking API changes
-- | | +----- non-breaking API additions
-- | | | +--- code changes with no API change
version: 0.2.3.0
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/~wkahan/ieee754status/IEEE754.PDF>
This can be run with a simple @cabal run qtrial@.
FPTest runs a sequence of floating point test vectors generated by IBM's
<https://www.research.ibm.com/haifa/projects/verification/fpgen/ 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
@runhaskell@.
The IBM test vectors are available from
<https://www.research.ibm.com/haifa/projects/verification/fpgen/ 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
<https://www.research.ibm.com/haifa/projects/verification/fpgen/syntax.txt 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>
homepage: https://github.com/jrp2014/fptest
license: BSD3
license-file: LICENSE
author: John Pavel
maintainer: [email protected]
bug-reports: https://github.com/jrp2014/fptest/issues
stability: alpha
copyright: 2014, 2018 John Pavel and 2004 IBM Corp
category: Math
tested-with: GHC ==7.8.3
data-files: *.fptest
data-dir: test_suite
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
source-repository head
type: git
location: https://github.com/jrp2014/fptest.git
branch: master
executable qtrial
main-is: QTrial.hs
build-depends: base >=4.7 && <5, test-framework >=0.8 && <0.9, test-framework-hunit >=0.3 && <0.4, HUnit >=1.2 && <1.7, parsec3-numbers >=0.0 && <0.2, QuickCheck >=2.7 && <3, test-framework-quickcheck2 >=0.3 && <0.4
hs-source-dirs: src
ghc-options: -Wall -fno-warn-missing-signatures
default-language: Haskell2010
executable fptest
build-depends: base >=4.7 && <5, parsec >=3.1 && <3.2, test-framework >=0.8 && <0.9, test-framework-hunit >=0.3 && <0.4, HUnit >=1.2 && <1.7, parsec3-numbers >=0.0 && <0.2, QuickCheck >=2.7 && <3, test-framework-quickcheck2 >=0.3 && <0.4
main-is: FPMain.hs
hs-source-dirs: src
ghc-options: -Wall
other-modules: FPTypes, FPParse, FPRun
default-language: Haskell2010
-- TODO:: put these tests into a separate test file
test-suite qtrial-quickcheck
build-depends: base >=4.7 && <5, parsec >=3.1 && <3.2, test-framework >=0.8 && <0.9, test-framework-hunit >=0.3 && <0.4, HUnit >=1.2 && <1.7, parsec3-numbers >=0.0 && <0.2, QuickCheck >=2.7 && <3, test-framework-quickcheck2 >=0.3 && <0.4
default-language: Haskell2010
hs-source-dirs: src
main-is: QTrial.hs
type: exitcode-stdio-1.0
test-suite fptest-quickcheck
build-depends: base >=4.7 && <5, parsec >=3.1 && <3.2, test-framework >=0.8 && <0.9, test-framework-hunit >=0.3 && <0.4, HUnit >=1.2 && <1.7, parsec3-numbers >=0.0 && <0.2, QuickCheck >=2.7 && <3, test-framework-quickcheck2 >=0.3 && <0.4
default-language: Haskell2010
hs-source-dirs: test src
main-is: FPTestTest.hs
type: exitcode-stdio-1.0
test-suite doctest
build-depends: base, doctest, Glob
default-language: Haskell2010
hs-source-dirs: test
main-is: DocTest.hs
type: exitcode-stdio-1.0
test-suite haddock
build-depends: base, process, regex-compat
default-language: Haskell2010
hs-source-dirs: test
main-is: Haddock.hs
type: exitcode-stdio-1.0
test-suite hlint
build-depends: base, hlint
default-language: Haskell2010
hs-source-dirs: test
main-is: HLint.hs
type: exitcode-stdio-1.0