TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

non-atomic assignments (noob question) October 23, 2017
How to terminate or explicitly set a pc to "done" in pluscal October 19, 2017
Exclusive-Or operator? October 11, 2017
TLA+ Toolbox 1.5.4 release October 9, 2017
Very Newbie question - thanks in advance for pointing out my error October 4, 2017

Source code checked in, #b04265eb09833508baaecdebfe086fd703b097be October 20, 2017
Source code checked in, #4f271f49d60ee361a02acc78539c77172f63932f October 20, 2017
Source code checked in, #eb01acc3f9fb3b5ec460bb8146d142f27e7bf093 October 19, 2017
Source code checked in, #28408228a227941be2d38b94fc0b39bbb76b814a October 18, 2017
Source code checked in, #cc368620fa86248694ef6361a1581facf0b33145 October 18, 2017

Commented Unassigned: TLAPM Error [44] April 26, 2017
Created Unassigned: TLAPM Error [44] April 24, 2017
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016

What is the general feeling about adopting a rolling release cycle for #tlaplus?

4 days ago
423 commits after the previous release, the new 1.5.4 TLA Toolbox is now generally available. https://t.co/n728p9pVx5 Have fun! #tlaplus

2 weeks ago
TLA Toolbox 1.5.4 release candidates at https://t.co/MZkDHUAzu6 Please test drive. #tlaplus

2 weeks ago
RT @clementd: TLA+ looks nice: https://t.co/nyKAXYqpEH I'd love to hear experience reports

2 weeks ago
RT @Hillelogram: My #tlaplus talk I did at #strangeloop is now online! https://t.co/HbpQwYDVrm

3 weeks ago