will62794/tla-web Issues
Handle model values
Closed 2Support module semantics
Updated 7Opening trace link loads forever
Closed 6Bogus results for trace expressions
Updated 1Folds not supported
Closed 1LAMBDA expressions
Closed 2Support recursive operators
Closed 3Support ENABLED
Closed 2Feature Request: ALIAS
Closed 10UNCHANGED vars disjunct
Closed 2Real-world spec challenge
Updated 1Incomplete set of initial states
Closed 2Support CASE construct
Closed 1