This repository has been archived by the owner on Jan 14, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 4
/
mir-verifier.cabal
143 lines (130 loc) · 3.85 KB
/
mir-verifier.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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
name: mir-verifier
version: 0.1.0.0
-- synopsis:
-- description:
homepage: https://github.com/GaloisInc/mir-verifier#readme
license: BSD3
license-file: LICENSE
author: Joshua Gancher
maintainer: jrg358@cornell.edu
copyright: 2017 Galois, Inc.
category: Web
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
library
default-language: Haskell2010
build-depends: base >= 4.7 && < 5,
aeson,
ansi-terminal,
ansi-wl-pprint,
bytestring,
text,
time,
unordered-containers,
crucible,
parameterized-utils >= 1.0.8,
containers,
lens,
vector,
mtl,
regex-compat,
regex-base,
transformers,
filepath,
directory,
what4,
process,
tasty >= 0.10,
tasty-hunit >= 0.10,
tasty-quickcheck >= 0.8,
tasty-golden >= 2.3,
parsec,
aig,
crux,
scientific >= 0.3,
simple-get-opt,
config-schema,
template-haskell
hs-source-dirs: src
exposed-modules: Mir.JSON
Mir.Generator
Mir.Language
Mir.Mir
Mir.GenericOps
Mir.Pass
Mir.Pass.AllocateEnum
Mir.PP
Mir.Generate
Mir.DefId
other-modules:
Mir.FancyMuxTree
Mir.Intrinsics
Mir.Overrides
Mir.TransTy
Mir.Trans
Mir.TransCustom
executable crux-mir
hs-source-dirs: exe
main-is: Main.hs
build-depends:
base >= 4.7 && < 5,
mir-verifier,
aeson,
ansi-wl-pprint,
bytestring,
text,
unordered-containers,
crucible,
parameterized-utils,
containers,
lens,
vector,
mtl,
regex-compat,
regex-base,
transformers,
filepath,
directory,
what4,
process,
tasty >= 0.10,
tasty-hunit >= 0.10,
tasty-quickcheck >= 0.8,
tasty-golden >= 2.3,
parsec,
aig,
crux
ghc-options: -Wall
ghc-prof-options: -O2 -fprof-auto-top
default-language: Haskell2010
test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
ghc-options: -Wall
ghc-prof-options: -fprof-auto -O2
main-is: Test.hs
build-depends:
base >= 4.7,
containers,
deepseq,
directory,
filepath,
parsec,
process,
mir-verifier,
QuickCheck,
tasty >= 0.10,
tasty-hunit >= 0.10,
tasty-quickcheck >= 0.8,
tasty-golden >= 2.3,
tasty-expected-failure >= 0.11,
temporary >= 1.3,
aig,
crux,
crucible,
config-schema,
config-value,
bytestring,
utf8-string
default-language: Haskell2010