Skip to content
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

Jump to bottom

Errata, Typos & Improvements #4

Open
lemmy opened this issue Oct 9, 2021 · 0 comments
Open

Errata, Typos & Improvements #4

lemmy opened this issue Oct 9, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@lemmy
Copy link
Contributor

lemmy commented Oct 9, 2021 •
edited
Loading

  • Rename InitiateProbe to something that conveys that multiple rounds get initiated
  • Rename Terminate actions to GoIdle to convey that nodes do not shut down
  • Remove superfluous pending = ... conjunct in EWD998!Init
  • Alternative to "inconclusive round" would be a "failed probe"
  • Add _apalache-out to hidden files in .vscode/settings.json
@lemmy lemmy changed the title Errata & Improvements Errata, Typos & Improvements Oct 9, 2021
@lemmy lemmy added the bug Something isn't working label Oct 9, 2021
@lemmy lemmy added enhancement New feature or request and removed bug Something isn't working labels Dec 17, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lemmy