forked from kenmcmil/ivy
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy path.gitmodules
More file actions
24 lines (24 loc) · 848 Bytes
/
Copy path.gitmodules
File metadata and controls
24 lines (24 loc) · 848 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 "submodules/picotls"]
path = submodules/picotls
url = https://github.com/h2o/picotls.git
[submodule "submodules/aiger"]
path = submodules/aiger
url = http://github.com/arminbiere/aiger
[submodule "submodules/abc"]
path = submodules/abc
url = https://github.com/kenmcmil/abc
[submodule "z3orig"]
path = submodules/z3
url = https://github.com/Z3Prover/z3.git
[submodule "submodules/ivy-lsp"]
path = submodules/ivy-lsp
url = https://github.com/ElNiak/ivy-lsp.git
[submodule "vscode-ivy"]
path = submodules/vscode-ivy
url = https://github.com/ElNiak/vscode-ivy.git
[submodule "submodules/panther-serena"]
path = submodules/panther-serena
url = https://github.com/ElNiak/panther-serena.git
[submodule "submodules/panther-ivy-plugin"]
path = submodules/panther-ivy-plugin
url = https://github.com/ElNiak/panther-ivy-plugin.git