forked from fpom/snakes
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMANIFEST
130 lines (130 loc) · 3.66 KB
/
MANIFEST
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
123
124
125
126
127
128
129
130
# file GENERATED by distutils, do NOT edit
.Makefile.swp
.gitignore
BUGS
MANIFEST
MANIFEST.in
Makefile
README.md
VERSION
mklang.py
setup.py
test.py
version.py
bin/abcd
bin/snkc
bin/snkd
doc/COPYING
doc/abcd.txt
doc/queries.txt
doc/simple-coloured.pnml
doc/simple-pt.pnml
doc/snakes-pnml.txt
doc/tutorial.png
doc/tutorial.txt
doc/examples/abcd/README
doc/examples/abcd/philo.abcd
doc/examples/abcd/prod-cons.abcd
doc/examples/abcd/railroad.abcd
doc/examples/abcd/railroad.py
doc/examples/abcd/ns/dolev_yao.py
doc/examples/abcd/ns/ns.abcd
doc/examples/abcd/ns/ns.py
snakes/__init__.py
snakes/compat.py
snakes/data.py
snakes/hashables.py
snakes/nets.py
snakes/pnml.py
snakes/typing.py
snakes/lang/__init__.py
snakes/lang/asdl.py
snakes/lang/astjy25.py
snakes/lang/astpy25.py
snakes/lang/astpypy.py
snakes/lang/pgen.py
snakes/lang/unparse.py
snakes/lang/abcd/__init__.py
snakes/lang/abcd/asdl.py
snakes/lang/abcd/parser.py
snakes/lang/abcd/pgen.py
snakes/lang/ctlstar/__init__.py
snakes/lang/ctlstar/asdl.py
snakes/lang/ctlstar/parser.py
snakes/lang/ctlstar/pgen.py
snakes/lang/pylib/__init__.py
snakes/lang/pylib/asdl.py
snakes/lang/pylib/spark.py
snakes/lang/pylib/unparse.py
snakes/lang/python/__init__.py
snakes/lang/python/asdl.py
snakes/lang/python/parser.py
snakes/lang/python/pgen.py
snakes/plugins/__init__.py
snakes/plugins/bound.py
snakes/plugins/clusters.py
snakes/plugins/gv.py
snakes/plugins/hello.py
snakes/plugins/labels.py
snakes/plugins/let.py
snakes/plugins/modules.py
snakes/plugins/ops.py
snakes/plugins/pids.py
snakes/plugins/pos.py
snakes/plugins/query.py
snakes/plugins/status.py
snakes/plugins/synchro.py
snakes/utils/__init__.py
snakes/utils/apidoc.py
snakes/utils/abcd/__init__.py
snakes/utils/abcd/build.py
snakes/utils/abcd/checker.py
snakes/utils/abcd/html.py
snakes/utils/abcd/main.py
snakes/utils/abcd/simul.py
snakes/utils/abcd/transform.py
snakes/utils/abcd/resources/about.html
snakes/utils/abcd/resources/alive.txt
snakes/utils/abcd/resources/d3.min.js
snakes/utils/abcd/resources/index.html
snakes/utils/abcd/resources/jquery.min.js
snakes/utils/abcd/resources/jquery.periodic.js
snakes/utils/abcd/resources/model.css
snakes/utils/abcd/resources/model.html
snakes/utils/abcd/resources/model.js
snakes/utils/abcd/resources/simulator.css
snakes/utils/abcd/resources/simulator.js
snakes/utils/abcd/resources/css/bootstrap-theme.css
snakes/utils/abcd/resources/css/bootstrap-theme.css.map
snakes/utils/abcd/resources/css/bootstrap.css
snakes/utils/abcd/resources/css/bootstrap.css.map
snakes/utils/abcd/resources/css/docs.css
snakes/utils/abcd/resources/fonts/glyphicons-halflings-regular.eot
snakes/utils/abcd/resources/fonts/glyphicons-halflings-regular.svg
snakes/utils/abcd/resources/fonts/glyphicons-halflings-regular.ttf
snakes/utils/abcd/resources/fonts/glyphicons-halflings-regular.woff
snakes/utils/abcd/resources/js/bootstrap.file-input.js
snakes/utils/abcd/resources/js/bootstrap.min.js
snakes/utils/abcd/resources/js/petri.js
snakes/utils/ctlstar/__init__.py
snakes/utils/ctlstar/build.py
snakes/utils/simul/__init__.py
snakes/utils/simul/html.py
snakes/utils/simul/httpd.py
snakes/utils/simul/logger.py
snakes/utils/simul/resources/about.css
snakes/utils/simul/resources/about.html
snakes/utils/simul/resources/about.js
snakes/utils/simul/resources/alive.txt
snakes/utils/simul/resources/index.html
snakes/utils/simul/resources/jquery.min.js
snakes/utils/simul/resources/jquery.periodic.js
snakes/utils/simul/resources/model.css
snakes/utils/simul/resources/model.html
snakes/utils/simul/resources/model.js
snakes/utils/simul/resources/simulator.css
snakes/utils/simul/resources/simulator.js
snakes/utils/simul/resources/trace.css
snakes/utils/simul/resources/trace.js
utils/abcd-mode.el
utils/abcd-mode.elc