TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Fix typo in string that is shown by the Toolbox when a model has to b… January 14, 2021 munyari
Attempting to finish uncompleted switch from "TLA+ Cheat Sheet" to January 14, 2021
Changed "TLA+ Cheat Sheet" to "Summary of TLA+". However, change to the January 14, 2021
Error with TLA+ Eclipse IDE setup with Oomph. January 6, 2021 lemmy
Set release date and increment version number of PlusCal to align with December 31, 2020 lemmy

modifications to standard TLAPS library (#27) December 30, 2020 muenchnerkindl
Switch to newer version of Github action to fix cache issues on macOS. December 17, 2020 lemmy
BUG: lex keywords in WF_, SF_ subscripts (#22) December 17, 2020 johnyf
BUG: correct level info about operator `-+->` December 10, 2020 johnyf
DEV: move `-prune` before `-exec` in `find` December 10, 2020 johnyf

RT @informalinc: v0.8.0 of Apalache — the symbolic model checker for TLA+ — is released! Changes include: - A spiffy new assignment… https://t.co/Yw3MdwQTaZ

1 week ago
RT @lemmster: Want to see #tlaplus in action? @SREcon released my "Weeks of Debugging Can Save You Hours of TLA+" talk. The talk… https://t.co/Gc9pHT5SlU

2 weeks ago
#tlaplus https://t.co/5UKwWOivZA

2 weeks ago
RT @lemmster: Let's end 2020 a tiny tiny bit better by upgrading to the 1.7.1 #tlaplus Tools/Toolbox maintenance release: https://t.co/h5mLkcq0fs

2 weeks ago
RT @informalinc: @interchain_io @buchmanster @billyrennekamp @cosmos @brapse @zarinjo @ArianneFlemming & to cap it off, the next day… https://t.co/5wjciJDASS

1 month ago