-
Notifications
You must be signed in to change notification settings - Fork 21
/
cabal.project.dist
54 lines (54 loc) · 1.69 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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
packages: base/
macaw-aarch32/
macaw-aarch32-symbolic/
macaw-aarch32-syntax/
macaw-dump/
macaw-semmc/
macaw-ppc/
macaw-ppc-symbolic/
macaw-ppc-syntax/
macaw-riscv/
macaw-riscv-symbolic/
macaw-riscv-syntax/
macaw-x86-cli/
macaw-x86-syntax/
x86/
symbolic/
symbolic-syntax/
x86_symbolic/
refinement/
utils/compare-dwarfdump
deps/macaw-loader/macaw-loader
deps/macaw-loader/macaw-loader-aarch32
deps/macaw-loader/macaw-loader-ppc
deps/macaw-loader/macaw-loader-x86
deps/semmc/semmc/
deps/semmc/semmc-ppc/
deps/semmc/semmc-arm/
deps/semmc/semmc-aarch32/
deps/semmc/semmc-synthesis/
deps/semmc/semmc-learning/
deps/dismantle/dismantle-tablegen/
deps/dismantle/dismantle-ppc/
deps/dismantle/dismantle-arm/
deps/dismantle/dismantle-arm-xml/
deps/dismantle/dismantle-thumb/
deps/crucible/crucible/
deps/crucible/crucible-cli/
deps/crucible/crucible-llvm/
deps/crucible/crucible-llvm-syntax/
deps/crucible/crucible-symio/
deps/crucible/crucible-syntax/
deps/what4/what4/
deps/dwarf/
deps/elf-edit/
deps/flexdis86/
deps/flexdis86/binary-symbols/
deps/llvm-pretty/
deps/llvm-pretty-bc-parser/
deps/asl-translator/
deps/arm-asl-parser/
deps/grift/grift/
deps/bv-sized/
deps/bv-sized-float/
deps/softfloat-hs/