/
.gitmodules
122 lines (122 loc) · 3.47 KB
/
.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
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
[submodule "bin/prsize"]
path = bin/prsize
url = https://github.com/nbingham1/prsize.git
ignore = dirty
[submodule "bin/prsim"]
path = bin/prsim
url = https://github.com/nbingham1/prsim.git
ignore = dirty
[submodule "bin/hsesim"]
path = bin/hsesim
url = https://github.com/nbingham1/hsesim.git
ignore = dirty
[submodule "bin/hseenc"]
path = bin/hseenc
url = https://github.com/nbingham1/hseenc.git
ignore = dirty
[submodule "bin/hseplot"]
path = bin/hseplot
url = https://github.com/nbingham1/hseplot.git
ignore = dirty
[submodule "lib/parse"]
path = lib/parse
url = https://github.com/nbingham1/parse.git
ignore = dirty
[submodule "lib/parse_prs"]
path = lib/parse_prs
url = https://github.com/nbingham1/parse_prs
ignore = dirty
[submodule "lib/parse_expression"]
path = lib/parse_expression
url = https://github.com/nbingham1/parse_expression.git
ignore = dirty
[submodule "lib/parse_astg"]
path = lib/parse_astg
url = https://github.com/nbingham1/parse_astg.git
ignore = dirty
[submodule "lib/prs"]
path = lib/prs
url = https://github.com/nbingham1/prs.git
ignore = dirty
[submodule "lib/petri"]
path = lib/petri
url = https://github.com/nbingham1/petri.git
ignore = dirty
[submodule "lib/hse"]
path = lib/hse
url = https://github.com/nbingham1/hse.git
ignore = dirty
[submodule "lib/common"]
path = lib/common
url = https://github.com/nbingham1/common.git
ignore = dirty
[submodule "lib/boolean"]
path = lib/boolean
url = https://github.com/nbingham1/boolean.git
ignore = dirty
[submodule "lib/interpret_boolean"]
path = lib/interpret_boolean
url = https://github.com/nbingham1/interpret_boolean.git
ignore = dirty
[submodule "lib/interpret_hse"]
path = lib/interpret_hse
url = https://github.com/nbingham1/interpret_hse.git
ignore = dirty
[submodule "lib/interpret_prs"]
path = lib/interpret_prs
url = https://github.com/nbingham1/interpret_prs.git
ignore = dirty
[submodule "lib/ucs"]
path = lib/ucs
url = https://github.com/nbingham1/ucs.git
ignore = dirty
[submodule "lib/parse_ucs"]
path = lib/parse_ucs
url = https://github.com/nbingham1/parse_ucs.git
ignore = dirty
[submodule "lib/interpret_ucs"]
path = lib/interpret_ucs
url = https://github.com/nbingham1/interpret_ucs.git
ignore = dirty
[submodule "lib/parse_dot"]
path = lib/parse_dot
url = https://github.com/nbingham1/parse_dot.git
ignore = dirty
[submodule "lib/parse_chp"]
path = lib/parse_chp
url = https://github.com/nbingham1/parse_chp.git
ignore = dirty
[submodule "bin/chpsim"]
path = bin/chpsim
url = https://github.com/nbingham1/chpsim.git
ignore = dirty
[submodule "lib/arithmetic"]
path = lib/arithmetic
url = https://github.com/nbingham1/arithmetic.git
ignore = dirty
[submodule "lib/chp"]
path = lib/chp
url = https://github.com/nbingham1/chp.git
ignore = dirty
[submodule "lib/interpret_arithmetic"]
path = lib/interpret_arithmetic
url = https://github.com/nbingham1/interpret_arithmetic.git
ignore = dirty
[submodule "old/hse2prs"]
path = old/hse2prs
url = https://github.com/nbingham1/hse2prs.git
[submodule "old/chp2hse"]
path = old/chp2hse
url = https://github.com/nbingham1/chp2hse.git
[submodule "lib/interpret_chp"]
path = lib/interpret_chp
url = https://github.com/nbingham1/interpret_chp.git
[submodule "bin/gated"]
path = bin/gated
url = https://github.com/nbingham1/gated.git
[submodule "lib/synthesize"]
path = lib/synthesize
url = https://github.com/nbingham1/synthesize.git
[submodule "bin/bubble"]
path = bin/bubble
url = https://github.com/nbingham1/bubble.git