[tlaplus] TLAPS release 1.4.4

[Damien Doligez <damien.doligez@xxxxxxxx>]

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

-- 
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.