[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

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.