tamarin-prover / manual

Tamarin prover manual: source files

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Document the sapic heuristics p/P

rsasse opened this issue · comments

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

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

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...

I guess this can be closed?

Yup!