-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy path.gitmodules
27 lines (27 loc) · 1007 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 "backend/examples"]
path = backend/examples
url = https://github.com/adamtool/examples.git
[submodule "backend/framework"]
path = backend/framework
url = https://github.com/adamtool/framework.git
[submodule "backend/logics"]
path = backend/logics
url = https://github.com/adamtool/logics.git
[submodule "backend/modelchecker"]
path = backend/modelchecker
url = https://github.com/adamtool/modelchecker.git
[submodule "backend/synthesizer"]
path = backend/synthesizer
url = https://github.com/adamtool/synthesizer.git
[submodule "backend/webinterface-backend"]
path = backend/webinterface-backend
url = https://github.com/adamtool/webinterface-backend.git
[submodule "backend/libs"]
path = backend/libs
url = https://github.com/adamtool/libs.git
[submodule "backend/high-level"]
path = backend/high-level
url = https://github.com/adamtool/high-level.git
[submodule "backend/synthesisDistrEnv"]
path = backend/synthesisDistrEnv
url = https://github.com/adamtool/synthesisDistrEnv