-
Notifications
You must be signed in to change notification settings - Fork 42
/
stack.yaml
39 lines (36 loc) · 768 Bytes
/
stack.yaml
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
flags: {}
packages:
- what4/
- what4-abc/
- what4-blt/
- crucible/
- crucible-c/
- crucible-jvm/
- crucible-llvm/
- crucible-saw/
- crucible-server/
- crucible-syntax/
- crux/
- dependencies/abcBridge/
- dependencies/aig/
- dependencies/blt/
- dependencies/cryptol/
- dependencies/cryptol-verifier/
- dependencies/hpb/
- dependencies/jvm-parser/
- dependencies/llvm-pretty/
- dependencies/llvm-pretty-bc-parser/
- dependencies/parameterized-utils/
- dependencies/saw-core/
- dependencies/saw-core-aig/
- dependencies/saw-core-sbv/
extra-deps:
- GraphSCC-1.0.4
- data-inttrie-0.1.4
- monadLib-3.7.3
- simple-smt-0.7.1
- sbv-7.7
- fgl-visualize-0.1.0.1
- dotgen-0.4.2
- panic-0.3.0.0
resolver: lts-10.6