-
Notifications
You must be signed in to change notification settings - Fork 21
/
.gitmodules
48 lines (48 loc) · 1.67 KB
/
.gitmodules
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
[submodule "x86/tests/submodules/dwarf"]
path = deps/dwarf
url = https://github.com/GaloisInc/dwarf.git
[submodule "x86/tests/submodules/elf-edit"]
path = deps/elf-edit
url = https://github.com/GaloisInc/elf-edit.git
[submodule "x86/tests/submodules/flexdis86"]
path = deps/flexdis86
url = https://github.com/GaloisInc/flexdis86.git
[submodule "deps/crucible"]
path = deps/crucible
url = https://github.com/GaloisInc/crucible.git
[submodule "deps/llvm-pretty"]
path = deps/llvm-pretty
url = https://github.com/GaloisInc/llvm-pretty.git
[submodule "submodules/semmc"]
path = deps/semmc
url = [email protected]:GaloisInc/semmc.git
[submodule "submodules/dismantle"]
path = deps/dismantle
url = [email protected]:GaloisInc/dismantle.git
[submodule "submodules/macaw-loader"]
path = deps/macaw-loader
url = [email protected]:GaloisInc/macaw-loader.git
[submodule "deps/llvm-pretty-bc-parser"]
path = deps/llvm-pretty-bc-parser
url = https://github.com/GaloisInc/llvm-pretty-bc-parser
[submodule "deps/asl-translator"]
path = deps/asl-translator
url = https://github.com/GaloisInc/asl-translator.git
[submodule "deps/arm-asl-parser"]
path = deps/arm-asl-parser
url = https://github.com/GaloisInc/arm-asl-parser.git
[submodule "deps/what4"]
path = deps/what4
url = [email protected]:GaloisInc/what4.git
[submodule "deps/grift"]
path = deps/grift
url = https://github.com/GaloisInc/grift.git
[submodule "deps/bv-sized"]
path = deps/bv-sized
url = https://github.com/GaloisInc/bv-sized
[submodule "deps/bv-sized-float"]
path = deps/bv-sized-float
url = https://github.com/GaloisInc/bv-sized-float
[submodule "deps/softfloat-hs"]
path = deps/softfloat-hs
url = https://github.com/GaloisInc/softfloat-hs