export: Translate K()-events to attacker() (tamarin-prover#505)

* export: Translate K()-events to attacker() * Updated regressions. Co-authored-by: Robert Künnemann <robert.kuennemann@cispa.saarland>
yavivanov · Dec 21, 2022 · 7cec6d2 · 7cec6d2
1 parent 54242a0
commit 7cec6d2
Show file tree

Hide file tree

Showing 303 changed files with 1,000 additions and 535,172 deletions.
diff --git a/case-studies-regression/Tutorial_analyzed.spthy b/case-studies-regression/Tutorial_analyzed.spthy