README.md
setup.py
tests/test_head.py
tests/test_turing_machine.py
tests/test_types.py
varphi/__init__.py
varphi.egg-info/PKG-INFO
varphi.egg-info/SOURCES.txt
varphi.egg-info/dependency_links.txt
varphi.egg-info/entry_points.txt
varphi.egg-info/requires.txt
varphi.egg-info/top_level.txt
varphi/antlr/VarphiEvaluator.py
varphi/antlr/VarphiLexer.py
varphi/antlr/VarphiListener.py
varphi/antlr/VarphiParser.py
varphi/antlr/__init__.py
varphi/frontend/__init__.py
varphi/frontend/frontendHelpers.py
varphi/frontend/varphi.py
varphi/model/Head.py
varphi/model/TuringMachine.py
varphi/model/__init__.py
varphi/model/types.py