Tamgram

A Frontend for Large-scale Protocol Modeling in Tamarin

Tamarin container

See here for ready-to-use Tamarin container images.

A typical usage (assuming you've cloned this repository into your home directory) would look like:

podman run -dt -v ~/tamgram:/root/tamgram --rm docker.io/darrenldl/tamarin-prover:1.6.1

and then enter directory /root/tamgram when in container.

Name		Name	Last commit message	Last commit date
Latest commit History 379 Commits
.github/workflows		.github/workflows
benchmark-latest		benchmark-latest
diagrams		diagrams
doc		doc
examples		examples
old-code		old-code
old-scripts		old-scripts
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
Containerfile		Containerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bench_utils.py		bench_utils.py
benchmark.py		benchmark.py
check-translation.sh		check-translation.sh
compile_examples.py		compile_examples.py
crosscheck-benchmark.sh		crosscheck-benchmark.sh
debug_examples.py		debug_examples.py
display_benchmark.py		display_benchmark.py
dune-project		dune-project
make_tables.py		make_tables.py
run.sh		run.sh
start-container.sh		start-container.sh
tamgram.opam		tamgram.opam
tamgram.opam.locked		tamgram.opam.locked
update-version-string.sh		update-version-string.sh