tamarin-prover v1.2.0 Release Notes

Release Date: 2017-02-20 // about 7 years ago
    • Extension for non-subterm convergent equational theories with FVP,
      as documented in the POST 2017 publication:
      https://hal.inria.fr/hal-01430490
    • Included SAPIC, which is automatically built if OCAML is available. If
      Tamarin is called on a .sapic file, it first automatically translates
      to .spthy and then runs the Tamarin prover.
    • ⬆️ Upgraded to GHC 8 and stack resolver lts-7.18.
    • 🛠 Multiple bug fixes.
    • 🔄 Changed terminology: axioms are now called restrictions, and [typing]
      lemmas are now [sources] lemmas, also associated GUI changes.
      Solves issue #177.