-
Notifications
You must be signed in to change notification settings - Fork 8
/
.gitmodules
27 lines (23 loc) · 649 Bytes
/
.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
[submodule "lms-clean"]
path = lms-clean
url = https://github.com/TiarkRompf/lms-clean.git
branch = reflectEffect-mod
ignore = dirty
[submodule "immer"]
path = third-party/immer
url = https://github.com/arximboldi/immer.git
ignore = dirty
[submodule "stp"]
path = third-party/stp
branch = smtcomp2020
url = https://github.com/stp/stp.git
ignore = dirty
[submodule "z3"]
path = third-party/z3
branch = z3-4.8.12
url = https://github.com/Z3Prover/z3
ignore = dirty
[submodule "third-party/parallel-hashmap"]
path = third-party/parallel-hashmap
url = https://github.com/greg7mdp/parallel-hashmap.git
ignore = dirty