TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Update changelog up to git commit 8b52d23. November 20, 2020 lemmy
Replace custom implementation of (heap) sort in TeX with November 16, 2020 lemmy
With multiple TLC workers, TLCGet(n) returns the value for n for an November 10, 2020 lemmy
TLC does *not* randomize the enumeration of e.g. IntervalValue instances November 9, 2020 lemmy
Bad indentation...! YAML!!! November 5, 2020 lemmy

The change in commit c2974b1376716f6f521baab530c9c08355540c5b to file November 26, 2020 lemmy
Fix regression in test suite introduced in commit eeafc565abdfc4247f7… November 26, 2020 lemmy
Run PR builder for pull requests, not pushes. November 25, 2020 lemmy
Merge pull request #9 November 24, 2020 johnyf
MAI: rm obsolete TODO November 18, 2020 johnyf

RT @lemmster: It's been a while since there was a talk in the Dr. TLA+ series (https://t.co/JoKkswQ9n8). Please reach out to me… https://t.co/1yEerUFioh

3 weeks ago
RT @lemmster: Starting in five minutes now! Zoom or https://t.co/HxCTwc2Fzw https://t.co/5IpLw3WBkp

1 month ago
RT @podc_disc: DISC 2020 over, many thanks to everyone! CELLS and TLA+ just started! https://t.co/sNCPL7L7ri

1 month ago
RT @lemmster: #tlaplus validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali is up at https://t.co/JcuJ4QreYs

1 month ago
RT @lemmster: T-18h... Don't miss @dharmashukla keynote! The live stream for the #tlaplus Community Event is going to be at… https://t.co/abGX8icAwe

1 month ago