-
Notifications
You must be signed in to change notification settings - Fork 3
/
cabal.project.dist
40 lines (38 loc) · 1.46 KB
/
cabal.project.dist
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
packages: .
submodules/llvm-pretty
submodules/parameterized-utils
submodules/what4/what4
submodules/crucible/crucible
submodules/crucible/crucible-symio
submodules/crucible/crucible-llvm
submodules/arm-asl-parser
submodules/asl-translator
submodules/elf-edit
submodules/dwarf
submodules/demangler
submodules/flexdis86
submodules/flexdis86/binary-symbols
submodules/dismantle/dismantle-tablegen
submodules/dismantle/dismantle-ppc
submodules/dismantle/dismantle-arm-xml
submodules/semmc/semmc
submodules/semmc/semmc-ppc
submodules/semmc/semmc-aarch32
submodules/semmc/semmc-synthesis
submodules/semmc/semmc-learning
submodules/macaw/base
submodules/macaw/x86
submodules/macaw/x86_symbolic
submodules/macaw/symbolic
submodules/macaw/macaw-semmc
submodules/macaw/macaw-ppc
submodules/macaw/macaw-ppc-symbolic
submodules/macaw/macaw-aarch32
submodules/macaw/macaw-aarch32-symbolic
submodules/macaw-loader/macaw-loader
submodules/macaw-loader/macaw-loader-x86
submodules/macaw-loader/macaw-loader-ppc
submodules/macaw-loader/macaw-loader-aarch32
optional-packages: tools/
allow-newer: what4, IntervalMap, aeson, tasty
constraints: IntervalMap >= 0.6.2.1