MANIFEST 3.63 KB
# file GENERATED by distutils, do NOT edit
.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/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