issues
search
hwayne
/
learntla
A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278
stars
57
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Inline interactive/executable TLA+
#105
will62794
opened
2 years ago
1
Fix typo in Sets:Mapping example
#104
erlingrj
closed
3 years ago
2
Consider adding a more explicit section on "deadlocks" in TLA+
#103
will62794
opened
3 years ago
3
Addresses issue #88, LargestTwinPair solution
#102
ben-barnes
closed
2 years ago
1
fix(tla/logic): escape underscores
#101
hansbogert
closed
3 years ago
1
Start updating this again
#100
hwayne
closed
2 years ago
2
Deployed version not up-to-date with repository
#99
felixlinker
closed
2 years ago
6
Mention that higher-order recursive operators are a bug
#98
zwergziege
closed
2 years ago
0
Dining philosophers with 1 diner has Deadlock
#97
mikeazo
closed
2 years ago
1
Fix minor typo in stock example
#96
klinvill
closed
2 years ago
1
Mention || when first used
#95
courajs
closed
2 years ago
0
fix `money = 1` typo in introduction example
#94
arafathusayn
closed
2 years ago
2
Fix extra "`" at logic.md
#93
pfeodrippe
closed
4 years ago
0
[tla/tuples] fix parse error in `key : set` example
#92
zed
closed
4 years ago
0
[tla/tuples] remove `<<2, "a">> \notin chessboard_squares`
#91
zed
closed
4 years ago
0
[tla/tuples] `<<2, "a">> \notin chessboard_squares` example fails
#90
zed
closed
4 years ago
0
Migrate over to Sphinx
#89
hwayne
closed
2 years ago
0
Incorrect answer for LargestTwinPair exercise
#88
pshirshov
closed
2 years ago
0
Typos and link fixes
#87
dgpv
closed
4 years ago
0
Appendix/Data Types: link to 'Specifying systems'
#86
dgpv
closed
4 years ago
0
Fix typo in infinite-loops.md
#85
dgpv
closed
4 years ago
2
Fix typo in 'Temporal Operators'
#84
dgpv
closed
4 years ago
0
Fix typo in procedures-and-macros.md
#83
dgpv
closed
4 years ago
0
fix(shortcode): Use strings instead of int
#82
robzienert
closed
4 years ago
0
[tla/sets] Correct spelling
#81
tsibley
closed
4 years ago
0
About the with behavior on set containing duplicated elements
#80
PineWu
closed
5 years ago
2
fix lossy_publish
#79
decanus
closed
2 years ago
0
Fix typo in about-this-guide
#78
stevemns
closed
2 years ago
0
TLA+ Operators section is not explicit
#77
gantsevdenis
closed
5 years ago
1
Add note that TLC isn't guaranteed to find shortest counter-example
#76
lemmy
closed
2 years ago
1
Update pluscal manual URL
#75
toastedcornflakes
closed
5 years ago
1
Update _index.md
#74
nathanknox
closed
5 years ago
0
Move note to the correct place
#73
cb372
closed
2 years ago
0
Make a git action so I don't keep forgetting to push the new versions
#72
hwayne
closed
2 years ago
0
Make the capture variable different from the free variable to make less confusing
#71
hwayne
closed
2 years ago
0
fix: wrong spell
#70
hawkingrei
closed
5 years ago
1
Exercise after explanation of "=>" and "<=>" requires use of "<="
#69
ajdavis
closed
2 years ago
1
"Using the Toolbox" shows both "/=" and "#" for not-equals
#68
ajdavis
closed
2 years ago
1
typo
#67
ajdavis
closed
5 years ago
1
Fix assignment vs comparison operator
#66
ttrei
closed
6 years ago
0
Issue with Practical TLA+ Repository
#65
asmyers
closed
6 years ago
1
Adding State Constraints to infinite loops section
#64
jesmg
closed
6 years ago
1
Small change to make the text more understandable
#63
jesmg
closed
6 years ago
0
Fix spelling of “sacrilegious”
#62
jeremy-w
closed
6 years ago
1
Add note describing "unknown operator" error
#61
sethp
closed
6 years ago
1
CHOOSE is arbitrary according to the reference, but should be deterministic?
#60
shuhaowu
closed
6 years ago
3
Warn that process values should be unique.
#59
ctford
closed
6 years ago
1
Unknown operator: 'account_total'
#58
vjocw
closed
6 years ago
1
Bogus example assigning to (constant) bound identifier
#57
lemmy
closed
6 years ago
2
Discuss State Contraints rather than DFS in "Infinite Loops"
#56
lemmy
closed
6 years ago
0
Next