[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA+ Toolbox 1.5.7 release


a new TLA+ Toolbox 1.5.7 release has been made available [1][2].

As always, this release fixes several bugs, contains performance
improvements and introduces new features. Please see the change log [3]
for a description of high-level changes or check the list of noteworthy
commits for a more thorough and technical perspective [4].


[1] https://github.com/tlaplus/tlaplus/releases/tag/v1.5.7
[2] https://tla.msr-inria.inria.fr/tlatoolbox/products/
[3] http://lamport.azurewebsites.net/tla/toolbox.html
[4] https://github.com/tlaplus/tlaplus/releases/tag/v1.5.7