LICENSE
MANIFEST.in
PACKAGING.md
README.md
RECIPE_GUIDE.md
pyproject.toml
requirements.txt
assets/internship-report.pdf
assets/logo.png
examples/complete.json
examples/complete_from_init_cmd.json
examples/complex.json
examples/custom_from_init.json
examples/errors.json
examples/long.json
examples/minimal.json
examples/minimal2.json
examples/test_preprecessor.json
examples/wpa2.json
examples/__dockerfiles__/tamarin-only/local-file-build.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.10.0.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.10.0.nix
examples/__dockerfiles__/tamarin-only/tamarin-1.4.0-amd64.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.4.0.nix
examples/__dockerfiles__/tamarin-only/tamarin-1.4.1-amd64.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.4.1.nix
examples/__dockerfiles__/tamarin-only/tamarin-1.6.0-amd64.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.6.0.nix
examples/__dockerfiles__/tamarin-only/tamarin-1.6.1.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.6.1.nix
examples/__dockerfiles__/tamarin-only/tamarin-1.8.0.Dockerfile
examples/__dockerfiles__/tamarin-only/tamarin-1.8.0.nix
examples/__dockerfiles__/tamarin-only/tamarin-develop.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/local-tamarin-and-batch.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.10-and-batch.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.10-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.4.0-and-batch-amd64.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.4.0-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.4.1-and-batch-amd64.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.4.1-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.6.0-and-batch-amd64.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.6.0-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.6.1-and-batch.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.6.1-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.8.0-and-batch.Dockerfile
examples/__dockerfiles__/with-batch-tamarin/tamarin-1.8.0-and-batch.nix
examples/__dockerfiles__/with-batch-tamarin/tamarin-dev-and-batch.Dockerfile
examples/__protocols__/MinimalInjectiveFact.spthy
examples/__protocols__/Minimal_HashChain.spthy
examples/__protocols__/SimpleChallengeResponse.spthy
examples/__protocols__/errors.spthy
examples/__protocols__/wpa2.spthy
examples/__protocols__/wisec21-5G-handover/intra-5G/xn/5G_handover.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/commands/__init__.py
src/batch_tamarin/commands/check.py
src/batch_tamarin/commands/init.py
src/batch_tamarin/commands/report.py
src/batch_tamarin/commands/run.py
src/batch_tamarin/model/__init__.py
src/batch_tamarin/model/batch.py
src/batch_tamarin/model/executable_task.py
src/batch_tamarin/model/report_data.py
src/batch_tamarin/model/tamarin_recipe.py
src/batch_tamarin/modules/__init__.py
src/batch_tamarin/modules/batch_manager.py
src/batch_tamarin/modules/cache_manager.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/report_charts.py
src/batch_tamarin/modules/report_generator.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/templates/report.html.j2
src/batch_tamarin/templates/report.md.j2
src/batch_tamarin/templates/report.tex.j2
src/batch_tamarin/templates/report.typ.j2
src/batch_tamarin/templates/summary.html.j2
src/batch_tamarin/utils/__init__.py
src/batch_tamarin/utils/compatibility_filter.py
src/batch_tamarin/utils/dot_utils.py
src/batch_tamarin/utils/model_checking.py
src/batch_tamarin/utils/notifications.py
src/batch_tamarin/utils/system_resources.py
tests/test_batch_manager.py
tests/test_batch_model.py
tests/test_cache_manager.py
tests/test_config_manager.py
tests/test_init_command.py
tests/test_integration.py
tests/test_lemma_parser.py
tests/test_output_manager.py
tests/test_report_data.py
tests/test_report_generator.py
tests/test_resource_manager.py
tests/test_signal_handling.py
tests/test_task_manager.py
tests/test_task_runner.py