kekinian/.gitmodules at master · sireum/kekinian · 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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
[submodule "runtime"]
	path = runtime
	url = https://github.com/sireum/runtime
[submodule "slang"]
	path = slang
	url = https://github.com/sireum/slang
[submodule "tools"]
	path = tools
	url = https://github.com/sireum/tools
[submodule "alir"]
	path = alir
	url = https://github.com/sireum/alir
[submodule "logika"]
	path = logika
	url = https://github.com/sireum/logika
[submodule "hamr/air"]
	path = hamr/air
	url = https://github.com/sireum/air
[submodule "hamr/phantom"]
	path = hamr/phantom
	url = https://github.com/sireum/phantom
[submodule "transpilers"]
	path = transpilers
	url = https://github.com/sireum/transpilers
[submodule "hamr/codegen"]
	path = hamr/codegen
	url = https://github.com/sireum/hamr-codegen.git
[submodule "server"]
	path = server
	url = https://github.com/sireum/server
[submodule "proyek"]
	path = proyek
	url = https://github.com/sireum/proyek
[submodule "parser"]
	path = parser
	url = https://github.com/sireum/parser
[submodule "infoflow"]
	path = infoflow
	url = https://github.com/sireum/infoflow
[submodule "resources"]
	path = resources
	url = https://github.com/sireum/resources
[submodule "bin/install"]
	path = bin/install
	url = https://github.com/sireum/bin-install
[submodule "hamr/vision"]
	path = hamr/vision
	url = https://github.com/sireum/hamr-vision.git
[submodule "hamr/sysml"]
	path = hamr/sysml
	url = https://github.com/sireum/hamr-sysml.git
[submodule "anvil"]
	path = anvil
	url = https://github.com/sireum/anvil.git
[submodule "protocol"]
	path = protocol
	url = https://github.com/sireum/protocol