-
Notifications
You must be signed in to change notification settings - Fork 4
/
language-boogie.cabal
141 lines (133 loc) · 3.58 KB
/
language-boogie.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
name: language-boogie
version: 0.2
synopsis: Interpreter and language infrastructure for Boogie.
description: Boogaloo is an interpreter and run-time assertion checker for the Boogie intermediate verification language.
The package also provides a language infrastructure library, including a Boogie AST, parser, type checker, and pretty-printer.
homepage: https://bitbucket.org/nadiapolikarpova/boogaloo
license: BSD3
license-file: LICENSE
author: Nadia Polikarpova
maintainer: [email protected]
category: Language
tested-with: GHC==7.4.1, GHC==7.6.2, GHC==7.8.4
build-type: Simple
cabal-version: >=1.8
source-repository head
type: hg
location: https://bitbucket.org/nadiapolikarpova/boogaloo
flag boogaloo
Description: Build the boogaloo executable
Default: False
flag tests
Description: Build boogaloo-tests executable
Default: False
library
exposed-modules:
Language.Boogie.Z3.Eval,
Language.Boogie.Z3.GenMonad,
Language.Boogie.Z3.Solver,
Language.Boogie.Z3.Solution,
Language.Boogie.Solver,
Language.Boogie.Generator,
Language.Boogie.Util,
Language.Boogie.TypeChecker,
Language.Boogie.Tokens,
Language.Boogie.Pretty,
Language.Boogie.PrettyAST,
Language.Boogie.Position,
Language.Boogie.Parser,
Language.Boogie.NormalForm,
Language.Boogie.Interpreter,
Language.Boogie.ErrorAccum,
Language.Boogie.Environment,
Language.Boogie.BasicBlocks,
Language.Boogie.AST
other-modules:
Language.Boogie.Z3.Minimize
build-depends:
base ==4.*,
random ==1.0.*,
containers >=0.4 && <0.6,
mtl ==2.1.*,
ansi-wl-pprint >=0.6,
html ==1.*,
parsec ==3.1.*,
transformers ==0.3.*,
stream-monad ==0.4.*,
random ==1.0.*,
syb >=0.1,
lens >=4.13,
logict,
z3 >=0.3
executable boogaloo
main-is: Boogaloo.hs
ghc-options: -threaded
build-depends:
base ==4.*,
random ==1.0.*,
containers >=0.4 && <0.6,
mtl ==2.1.*,
ansi-wl-pprint >=0.6,
html ==1.*,
parsec ==3.1.*,
transformers ==0.3.*,
stream-monad ==0.4.*,
random ==1.0.*,
syb >=0.1,
lens >=4.13,
logict,
z3 >=0.3,
language-boogie ==0.2.*,
cmdargs ==0.10.*,
time ==1.4.*,
ansi-terminal >=0.5
If !flag(boogaloo)
buildable: False
test-suite boogaloo-test
type: exitcode-stdio-1.0
hs-source-dirs: .
main-is: Tests.hs
build-depends:
base ==4.*,
random ==1.0.*,
containers >=0.4 && <0.6,
mtl ==2.1.*,
ansi-wl-pprint >=0.6,
html ==1.*,
parsec ==3.1.*,
transformers ==0.3.*,
stream-monad ==0.4.*,
random ==1.0.*,
syb >=0.1,
lens >=4.13,
z3 >=0.3,
language-boogie ==0.2.*,
filepath ==1.3.*,
html ==1.*,
HUnit ==1.2.*,
logict
If !flag(tests)
buildable: False
executable boogaloo-tests
main-is: Tests.hs
build-depends:
base ==4.*,
random ==1.0.*,
containers >=0.4 && <0.6,
mtl ==2.1.*,
ansi-wl-pprint >=0.6,
html ==1.*,
parsec ==3.1.*,
transformers ==0.3.*,
stream-monad ==0.4.*,
random ==1.0.*,
syb >=0.1,
lens >=4.13,
z3 >=0.3,
language-boogie ==0.2.*,
filepath ==1.3.*,
html ==1.*,
HUnit ==1.2.*,
logict
If !flag(tests)
buildable: False