Releases: tlaplus/tlapm
Releases · tlaplus/tlapm
202210041448
Add an example for simple liveness proof, contributed by Andreas Recke.
202208050903
add labeled arguments in call of expand_enabled_cdot to avoid warning…
Version 1.4.5
This version fixes an embarassing soundness bug. Please do not use v1.4.4.
Version 1.4.4
This release switches the default SMT back-end to Z3 and fixes a few bugs.
Important note: do not use this release, use 1.4.5 instead.