TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Source code checked in, #88aeee39e81890d3fa2aaa109c1e41ceaac1f814 September 21, 2017
Source code checked in, #600bc3330884c1608b8d054005a2dffe284fb2ff September 21, 2017
Source code checked in, #44475e0eef035ce8e88ae2447929ab0613d0edb5 September 21, 2017
Source code checked in, #db02248613d88c2c5d8c29b30aac6bf4dcf50c88 September 21, 2017
Source code checked in, #19720cf97e7563012fc9ac3d39863e2327402039 September 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

Unicode support - contributed by @pressron - has finally landed in the TLA+Toolbox. Expect it to be included in the next #tlaplus release.

2 weeks ago
In an ad-hoc performance comparison, the IBM JVM looses to the Oracle VM. TLC's throughput is approximately four times lower.

1 month ago
We recently made a beta release of the #tlaplus Toolbox with Unicode support available. https://t.co/ZTOhLmCoKN

1 month ago
What kind of TLA+ examples would you like to see? #tlaplus https://t.co/FMexDeR8Fy

2 months ago
The most recent #tlaplus Toolbox build is now compatible with #java9. https://t.co/NOkJJsqLUA

2 months ago