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.
- Extension for non-subterm convergent equational theories with FVP,