TLAPS release 1.4.4
29 views
Skip to first unread message
Damien Doligez
Feb 11, 2020, 8:58:13 AM2/11/20
to tla...@googlegroups.com
Dear TLA+ users,
It is my pleasure to announce the release of TLAPM (the TLA+ Proof Manager) version 1.4.4.
This release fixes a few soundness bugs and switches the default SMT back-end to Z3 (instead of CVC4).
It is available at https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries.html and https://github.com/tlaplus/v1-tlapm/releases/tag/v1.4.4
--
Damien Doligez
It is my pleasure to announce the release of TLAPM (the TLA+ Proof Manager) version 1.4.4.
This release fixes a few soundness bugs and switches the default SMT back-end to Z3 (instead of CVC4).
It is available at https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries.html and https://github.com/tlaplus/v1-tlapm/releases/tag/v1.4.4
--
Damien Doligez
Reply all
Reply to author
Forward
0 new messages