https://github.com/rkunnema/tamarin-prover
Tip revision: 0515fbf916c0cea8d6f0d94851de61366d9639df authored by Cas Cremers on 18 June 2022, 17:00:25 UTC
Merge pull request #469 from kmilner/duplicate-sources
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 |