[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] TLAPS release 1.4.4
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
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6FB71C59-112D-46B1-B75B-2B2491ADA20D%40inria.fr.