-
Notifications
You must be signed in to change notification settings - Fork 26
/
hie.yaml
130 lines (88 loc) · 3.6 KB
/
hie.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
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
cradle:
cabal:
- path: "annotations/src"
component: "lib:reopt-vcg-ann"
- path: "deps/dwarf/src"
component: "lib:galois-dwarf"
- path: "deps/dwarf/tests"
component: "galois-dwarf:test:galois-dwarf-tests"
- path: "deps/elf-edit/src"
component: "lib:elf-edit"
- path: "deps/elf-edit/tests"
component: "elf-edit:test:test-elf"
- path: "deps/flexdis86/binary-symbols/src"
component: "lib:binary-symbols"
- path: "deps/flexdis86/src"
component: "lib:flexdis86"
- path: "deps/flexdis86/utils/DumpInstr.hs"
component: "flexdis86:exe:DumpInstr"
- path: "deps/flexdis86/tests"
component: "flexdis86:test:flexdis86-tests"
- path: "deps/llvm-pretty/src"
component: "lib:llvm-pretty"
- path: "deps/llvm-pretty-bc-parser/src"
component: "lib:llvm-pretty-bc-parser"
- path: "deps/llvm-pretty-bc-parser/llvm-disasm/LLVMDis.hs"
component: "llvm-pretty-bc-parser:exe:llvm-disasm"
- path: "deps/llvm-pretty-bc-parser/unit-test"
component: "llvm-pretty-bc-parser:test:unit-test"
- path: "deps/llvm-pretty-bc-parser/disasm-test"
component: "llvm-pretty-bc-parser:test:disasm-test"
- path: "deps/llvm-pretty-bc-parser/regression-test/Main.hs"
component: "llvm-pretty-bc-parser:exe:regression-test"
- path: "deps/llvm-pretty-bc-parser/fuzzing/Main.hs"
component: "llvm-pretty-bc-parser:exe:fuzz-llvm-disasm"
- path: "deps/macaw/base/src"
component: "lib:macaw-base"
- path: "deps/macaw/utils/compare-dwarfdump/src/Main.hs"
component: "compare-dwarfdump:exe:compare-dwarfdump"
- path: "deps/macaw/x86/src"
component: "lib:macaw-x86"
- path: "deps/macaw/x86/tests"
component: "macaw-x86:test:macaw-x86-tests"
- path: "deps/parameterized-utils/src"
component: "lib:parameterized-utils"
- path: "deps/parameterized-utils/test"
component: "parameterized-utils:test:parameterizedTests"
- path: "deps/what4/what4/src"
component: "lib:what4"
- path: "deps/what4/what4/./doc/QuickStart.hs"
component: "what4:exe:quickstart"
- path: "deps/what4/what4/test"
component: "what4:test:adapter-test"
- path: "deps/what4/what4/test"
component: "what4:test:online-solver-test"
- path: "deps/what4/what4/test"
component: "what4:test:expr-builder-smtlib2"
- path: "deps/what4/what4/test"
component: "what4:test:exprs_tests"
- path: "deps/what4/what4/test"
component: "what4:test:iteexprs_tests"
- path: "deps/what4/what4/test"
component: "what4:test:bvdomain_tests"
- path: "deps/what4/what4/test/QC"
component: "what4:test:bvdomain_tests"
- path: "deps/what4/what4/test"
component: "what4:test:bvdomain_tests_hh"
- path: "deps/what4/what4/test/HH"
component: "what4:test:bvdomain_tests_hh"
- path: "src"
component: "lib:reopt"
- path: "reopt-explore"
component: "reopt:exe:reopt-explore"
- path: "reopt/Main_reopt.hs"
component: "reopt:exe:reopt"
- path: "reopt/Paths_reopt.hs"
component: "reopt:exe:reopt"
- path: "reopt-relink/Main_relink.hs"
component: "reopt:exe:reopt-relink"
- path: "reopt-relink/Paths_reopt.hs"
component: "reopt:exe:reopt-relink"
- path: "tests"
component: "reopt:test:reopt-tests"
- path: "tools/reopt-checker/src/Main.hs"
component: "reopt-checker:exe:reopt-checker"
- path: "tools/dump_debug_data/Main.hs"
component: "reopt-tools:exe:dump_debug_data"
- path: "tools/dump_vtables"
component: "reopt-tools:exe:dump_vtables"