https://github.com/tamarin-prover/tamarin-prover
Tip revision: 88386108847affac70ea84605767dfa8afebcf68 authored by rkunnema on 12 September 2024, 12:48:04 UTC
MANUAL: Uncomment offending option in latex template (#679)
MANUAL: Uncomment offending option in latex template (#679)
Tip revision: 8838610
| File | Mode | Size |
|---|---|---|
| .github | ||
| case-studies-regression | ||
| data | ||
| doc | ||
| etc | ||
| examples | ||
| images | ||
| lib | ||
| manual | ||
| misc | ||
| src | ||
| tree-sitter | ||
| .dockerignore | -rw-r--r-- | 45 bytes |
| .gitignore | -rw-r--r-- | 549 bytes |
| .hgignore | -rw-r--r-- | 137 bytes |
| AUTHORS | -rw-r--r-- | 354 bytes |
| CHANGES | -rw-r--r-- | 17.2 KB |
| CONTRIBUTING.md | -rw-r--r-- | 6.9 KB |
| LICENSE | -rw-r--r-- | 31.7 KB |
| Makefile | -rw-r--r-- | 23.1 KB |
| README.md | -rw-r--r-- | 4.2 KB |
| Setup.hs | -rw-r--r-- | 3.0 KB |
| ghci-dev.sh | -rwxr-xr-x | 372 bytes |
| regressionTests.py | -rw-r--r-- | 18.9 KB |
| stack.yaml | -rw-r--r-- | 197 bytes |
| tamarin-prover.cabal | -rw-r--r-- | 5.5 KB |
| testbed.maude | -rw-r--r-- | 608 bytes |
| version-change.sh | -rwxr-xr-x | 407 bytes |
