GenSym/.gitmodules at main · Generative-Program-Analysis/GenSym · GitHub

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
[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

[submodule "third-party/lms-clean"]
	path = third-party/lms-clean
	url = https://github.com/TiarkRompf/lms-clean
  ignore = dirty
[submodule "third-party/wasmfx-tools"]
	path = third-party/wasmfx-tools
	url = git@github.com:wasmfx/wasmfx-tools.git