search

tamarin-prover / manual

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

Add support for configuration blocks #118

Closed kevinmorio closed 6 months ago

kevinmorio commented 1 year ago

This updates the syntax in reference to tamarin-prover/tamarin-prover#512.

jdreier commented 8 months ago

Currently this feature is only available on the develop branch. Could you resubmit the PR for the develop branch?

cascremers commented 6 months ago

Closing this PR for now until it is resubmitted for the develop branch, as pointed out by @jdreier .

cascremers commented 6 months ago

@kevinmorio we aim to freeze the Tamarin prover manual repo soon (to merge it back into the code base) -- for this it would be really great if you could re-do this PR on the develop branch, so we can still include it before the freeze.