search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

Document the sapic heuristics p/P #44

Closed rsasse closed 1 year ago

rsasse commented 6 years ago

The sapic-used heuristics p and P are not documented (or even mentioned) in the manual at all. This should be done.

darrenldl commented 1 year ago

Is there any update to this? Or a link to the specification of the heuristics?

rkunnema commented 1 year ago

Hi!

For now, check out this fork: https://github.com/rkunnema/manual/tree/pr-sapic-heuristic (see latest commit).

I'll prepare a PR once I can test this file - now that MacOS has phased out python2, filter.py does not work anymore. I have an older computer at home I can test it with, but if any python wizard could port this file...

jdreier commented 1 year ago

I guess this can be closed?

rkunnema commented 1 year ago

Yup!