-
Notifications
You must be signed in to change notification settings - Fork 7
Expand file tree
/
Copy path.gitmodules
More file actions
42 lines (42 loc) · 1.24 KB
/
.gitmodules
File metadata and controls
42 lines (42 loc) · 1.24 KB
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
30
31
32
33
34
35
36
37
38
39
40
41
42
[submodule "lib/code-widget"]
path = lib/code-widget
url = https://github.com/termite2/code-widget.git
[submodule "lib/haskell_cudd"]
path = lib/haskell_cudd
url = https://github.com/termite2/haskell_cudd.git
[submodule "lib/debug"]
path = lib/debug
url = https://github.com/termite2/debug.git
[submodule "lib/synthesis"]
path = lib/synthesis
url = https://github.com/termite2/synthesis.git
[submodule "lib/util"]
path = lib/util
url = https://github.com/termite2/util.git
[submodule "lib/tsl"]
path = lib/tsl
url = https://github.com/termite2/tsl.git
[submodule "lib/graph-draw"]
path = lib/graph-draw
url = https://github.com/termite2/graph-draw.git
[submodule "lib/hast"]
path = lib/hast
url = https://github.com/termite2/hast.git
[submodule "lib/bv"]
path = lib/bv
url = https://github.com/termite2/bv.git
[submodule "tools/termite-app"]
path = tools/termite-app
url = https://github.com/termite2/termite-app.git
[submodule "tools/bdd"]
path = tools/bdd
url = https://github.com/termite2/bdd.git
[submodule "lib/bdd"]
path = lib/bdd
url = https://github.com/termite2/bdd.git
[submodule "lib/cudd"]
path = lib/cudd
url = https://github.com/termite2/cudd.git
[submodule "specs"]
path = specs
url = https://github.com/termite2/specs.git