LICENCE
MANIFEST.in
PACKAGING.md
README.md
RECIPE_GUIDE.md
pyproject.toml
requirements.txt
assets/logo.png
examples/complete/complete_recipe.json
examples/complete/protocols/MinimalInjectiveFact.spthy
examples/complete/protocols/Minimal_HashChain.spthy
examples/complete/protocols/SimpleChallengeResponse.spthy
examples/complete/protocols/wpa2.spthy
examples/errors/errors.json
examples/errors/protocols/errors.spthy
examples/wpa2/wpa2_recipe.json
examples/wpa2/protocols/wpa2.spthy
src/batch_tamarin/__init__.py
src/batch_tamarin/main.py
src/batch_tamarin/runner.py
src/batch_tamarin.egg-info/PKG-INFO
src/batch_tamarin.egg-info/SOURCES.txt
src/batch_tamarin.egg-info/dependency_links.txt
src/batch_tamarin.egg-info/entry_points.txt
src/batch_tamarin.egg-info/requires.txt
src/batch_tamarin.egg-info/top_level.txt
src/batch_tamarin/model/__init__.py
src/batch_tamarin/model/executable_task.py
src/batch_tamarin/model/tamarin_recipe.py
src/batch_tamarin/modules/__init__.py
src/batch_tamarin/modules/config_manager.py
src/batch_tamarin/modules/lemma_parser.py
src/batch_tamarin/modules/output_manager.py
src/batch_tamarin/modules/process_manager.py
src/batch_tamarin/modules/resource_manager.py
src/batch_tamarin/modules/tamarin_test_cmd.py
src/batch_tamarin/modules/task_manager.py
src/batch_tamarin/utils/__init__.py
src/batch_tamarin/utils/model_checking.py
src/batch_tamarin/utils/notifications.py
src/batch_tamarin/utils/system_resources.py
tests/test_config_manager.py
tests/test_integration.py
tests/test_lemma_parser.py