https://github.com/rkunnema/tamarin-prover
History
Tip revision: 0515fbf916c0cea8d6f0d94851de61366d9639df authored by Cas Cremers on 18 June 2022, 17:00:25 UTC
Merge pull request #469 from kmilner/duplicate-sources
Tip revision: 0515fbf
File Mode Size
.github
case-studies-regression
data
doc
etc
examples
images
lib
misc
plugins
src
.dockerignore -rw-r--r-- 45 bytes
.gitignore -rw-r--r-- 494 bytes
.hgignore -rw-r--r-- 137 bytes
AUTHORS -rw-r--r-- 421 bytes
CHANGES -rw-r--r-- 15.8 KB
CONTRIBUTING.md -rw-r--r-- 6.9 KB
LICENSE -rw-r--r-- 31.7 KB
Makefile -rw-r--r-- 21.4 KB
README.md -rw-r--r-- 4.0 KB
Setup.hs -rw-r--r-- 3.0 KB
ghci-dev.sh -rwxr-xr-x 372 bytes
regressionTests.py -rw-r--r-- 9.0 KB
stack.yaml -rw-r--r-- 159 bytes
tamarin-prover.cabal -rw-r--r-- 5.4 KB
testbed.maude -rw-r--r-- 608 bytes
version-change.sh -rwxr-xr-x 309 bytes

README.md

back to top