-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
24 lines (24 loc) · 798 Bytes
/
.gitmodules
File metadata and controls
24 lines (24 loc) · 798 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
[submodule "deps/cvc5"]
path = deps/cvc5
url = https://github.com/cvc5/cvc5/
[submodule "deps/klee"]
path = deps/klee
url = https://github.com/klee/klee
[submodule "deps/klee-float"]
path = deps/klee-float
url = https://github.com/sjudson/klee-float
[submodule "deps/klee-uclibc"]
path = deps/klee-uclibc
url = https://github.com/klee/klee-uclibc
[submodule "deps/tomlplusplus"]
path = deps/tomlplusplus
url = https://github.com/marzer/tomlplusplus
[submodule "deps/llvm-project"]
path = deps/llvm-project
url = https://github.com/llvm/llvm-project
[submodule "examples/gui/duckietown-soid"]
path = examples/gui/duckietown-soid
url = git@github.com:mattelacqua/duckietown-soid.git
[submodule "deps/klee-uclibc-3"]
path = deps/klee-uclibc-3
url = git@github.com:klee/klee-uclibc.git