Merging updates in master into develop - Githubissues

tamarin-prover / manual

Tamarin prover manual: source files

https://tamarin-prover.github.io/manual

24 stars 39 forks source link

Merging updates in master into develop #99

Closed rkunnema closed 1 year ago

rkunnema commented 1 year ago

Comprising of:

Documentation of SAPIC heuristics
Removal of fresh constants
Update of filter.py to python3