issues
search
tlaplus
/
rfcs
RFCs for changes to the TLA+ specification language
MIT License
13
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Proposal (PlusCal): `action` keyword to write any TLA+ expressions WITHOUT generating an UNCHANGED statement.
#12
lemmy
opened
2 days ago
1
Proposal: allow Unicode alternatives for module delimiters
#11
ahelwer
opened
2 weeks ago
0
Proposal: combine set filter and set map language constructs
#10
ahelwer
opened
1 month ago
10
Support `|S|` as alternative to `Cardinality(S)`
#9
lemmy
opened
2 months ago
11
Proposal to add module package management & versioning to TLA+
#8
ahelwer
closed
4 months ago
2
Publish fixed version of TLA+ 2 grammar spec
#7
ahelwer
closed
1 month ago
3
Proposal to add `?` postfix operator
#6
ahelwer
closed
1 year ago
2
Proposal to add Unicode support to the TLA+ language standard and tools
#5
ahelwer
closed
1 month ago
5
Proposal to resolve grammar ambiguities
#4
ahelwer
closed
1 month ago
2
Remove CHOOSE and recursive operators from TLA+ in favor of new FoldSet language primitive
#3
lemmy
opened
3 years ago
1
[tool] Pretty Print to HTML
#2
lemmy
opened
3 years ago
5
[Meta] Specify the TLA+ enhancement process
#1
lemmy
opened
3 years ago
6