tlaplus / rfcs

RFCs for changes to the TLA+ specification language

tlaplus/rfcs Issues

Proposal (PlusCal): `action` keyword to write any TLA+ expressions WITHOUT generating an UNCHANGED statement.
Updated a month ago1
Proposal: allow Unicode alternatives for module delimiters
Updated a month ago
Proposal: combine set filter and set map language constructs
Updated 2 months ago10
[Meta] Specify the TLA+ enhancement process
Updated 3 months ago6
Support `|S|` as alternative to `Cardinality(S)`
Updated 3 months ago11
Proposal to add `?` postfix operator
Closed a year ago2
Proposal to add Unicode support to the TLA+ language standard and tools
Closed 3 months ago5
Proposal to resolve grammar ambiguities
Closed 3 months ago2
Publish fixed version of TLA+ 2 grammar spec
Closed 3 months ago3
Proposal to add module package management & versioning to TLA+
Closed 5 months ago2
Remove CHOOSE and recursive operators from TLA+ in favor of new FoldSet language primitive
Updated 3 years ago1
[tool] Pretty Print to HTML
Updated 3 years ago5