MANIFEST
2.06 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
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
# file GENERATED by distutils, do NOT edit
,let.png
,let.py
,net-with-colors.png
,railroad.png
,railroad.pnml
,test-gv-circo.png
,test-gv-dot.png
,test-gv-fdp.png
,test-gv-graph.png
,test-gv-neato.png
,test-gv-twopi.png
.hgignore
.hgtags
BUGS
MANIFEST
MANIFEST.in
Makefile
NEWS
README
TODO
VERSION
dput.sh
mkdeb.py
mklang.py
setup.py
test.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/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/main.py
snakes/utils/abcd/simul.py
snakes/utils/abcd/transform.py
snakes/utils/ctlstar/__init__.py
snakes/utils/ctlstar/build.py
utils/abcd-mode.el
utils/abcd-mode.elc