Skip to content

Issues: hwayne/learntla-v2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
22 Open 29 Closed
22 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

syntax highlighting bug in Structured Data part
#62 by acud was closed Aug 2, 2023
1
1
fix typo: remove "far" from "That's why concurrency errors are so far hard to find."
#61 by simondorfman was closed Jul 22, 2023
1
Bug in the LET sample sepc
#56 by gdymind was closed Jun 28, 2023
1
clarification on fairness
#49 by cwlucas41 was closed Jul 5, 2023
clarification on EXCEPT
#48 by cwlucas41 was closed Jul 5, 2023
2
confusion about the text "writing INVARIANT P"
#47 by cwlucas41 was closed Jul 5, 2023
clarification on efficiency of CHOOSE in introduction
#45 by cwlucas41 was closed Aug 15, 2023
1
Add Randomization.tla to Standard Modules
#39 by lemmy was closed Feb 8, 2024
1
On the size of SUBSET ClockType
#35 by wchargin was closed Nov 11, 2022
6
"hundreds in thousands"
#31 by frankshearar was closed Jul 25, 2022
Clarify model for the threads example
#30 by ramz-san was closed Jul 25, 2022
1
Error in definition of IsComposite
#29 by ramz-san was closed Jul 15, 2022
2
Error in definition of IsComposite
#28 by ramz-san was closed Jul 15, 2022
1
Cutoff sentence in "Writing Specifications"
#26 by kvakil was closed Jul 15, 2022
2
How to make a scratch file?
#25 by louy2 was closed Jul 15, 2022
3
Clarify the 8 existing TLA+ types
#23 by jmg-duarte was closed Nov 11, 2022
5
"And if you’re not already testing, TLA+ isn’t the best investment.2"
#21 by frankshearar was closed Jul 15, 2022
2
"the field of computer scientist" in FAQ - "computer science"?
#20 by frankshearar was closed Jul 9, 2022
1
"DSL" in the FAQ
#19 by frankshearar was closed Jul 9, 2022
1
Core->Setup: No Overdrafts in Invariants results in error
#15 by Svintooo was closed Jul 4, 2022
5
Typo in example or guard semantics unclear?
#11 by asolove was closed Jul 2, 2022
1
Make a 404 page that tells people about the legacy site
#9 by hwayne was closed Jul 6, 2022
1
Graphviz renderings are broken
#8 by hwayne was closed Jul 1, 2022
1
Stylistic choice: core/Core/The Core
#7 by th was closed Jun 30, 2022
1
Wording on "everything after"
#6 by th was closed Jun 30, 2022
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.