MANIFEST.in
README.md
setup.py
examples/amba.pml
examples/amba_iter.py
examples/bunny.pml
openpromela/__init__.py
openpromela/_version.py
openpromela/logic.py
openpromela/open_promela_parsetab.py
openpromela/slugs.py
openpromela.egg-info/PKG-INFO
openpromela.egg-info/SOURCES.txt
openpromela.egg-info/dependency_links.txt
openpromela.egg-info/entry_points.txt
openpromela.egg-info/requires.txt
openpromela.egg-info/top_level.txt
tests/logic_test.py