/learntla

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.

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

"Embarrassing Trainwreck" #4

Merged
merged 22 commits into from May 18, 2017

Conversation

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
1 participant
@hwayne
@hwayne
Owner

hwayne commented May 18, 2017

Since this is a pretty big update, I think it deserves its own name, so I'm calling it the "Embarrassing Trainwreck" update. Cool names are for people with self-esteem.

  • Adds a new "Techniques" chapter, for specific topics in writing good specs
  • Improvements to "Concurrency" chapter
    • Added examples of deadlocks, procedures, macros
    • Somewhat better organization
  • Improvements to "Temporal Operators" chapter
    • Chapter is generally less dismissive
    • Livelocks
    • Added example of liveness checking
    • Replaced PlusCal compiler options with fair processes
    • Slightly more discussion of fairness
  • Fixed multiple broken specs, sorry about that
  • Deleted stuff
    • Took out self-flagellating "Next Steps" for rework
    • Took out "Examples" for rework
    • Moved the TLA+ library to its own repo

@hwayne hwayne merged commit bd80c7a into master May 18, 2017

@hwayne hwayne deleted the techniques branch May 18, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment