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

TLA+ Toolbox 1.5.4 release


a new TLA+ Toolbox 1.5.4 release has been made available [1][2]. Note
that 32-bit versions of the Toolbox are only available from [2]. We
strongly advise users of 64-bit computers not to use a 32-bit version.

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

A 1.5.3 Toolbox will automatically ask to update to 1.5.4 upon its next
startup and run a workspace migration. Users who prefer to start fresh
and install a 1.5.4 zip file can move or copy their existing
workspace/.metadata directory out of the 1.5.3 installation to
~/.tlaplus/.metadata in their HOME directory to preserve Toolbox
preferences and the list of specifications.


[1] https://github.com/tlaplus/tlaplus/releases/tag/v1.5.4
[2] https://tla.msr-inria.inria.fr/tlatoolbox/products/

[4] http://lamport.azurewebsites.net/tla/toolbox.html