« Changelog History


tamarin-prover v1.2.2 Release Notes

Release Date: 2017-05-29 // almost 7 years ago
    • 1.2.2

    "partial deconstructions" text added to cases with partial deconstructions, which makes them searchable.

    👌 Improved visualization of mirrors/attacks in ObsEq diff-mode.

    ⚙ Running "tamarin-prover --version" now shows more detail.

    🐎 Various performance improvements and bug fixes.

    ⬆️ Upgrade to stack lts-8.5.