Code Snippets TLA

Short texts TLA 🧑‍💻 Code snippets TLA ✍️ Reading lists TLA 👀

zero downtime TLA+ (using https://github.com/alygin/vscode-tlaplus) (tutorial https://www.hillelwayne.com/post/modeling-deployments/)

SPECIFICATION Spec \* Add statements after this line. CONSTANTS OUTDATED = “outdated” UPDATING = “updating” UPDATED = “updated” INVARIANTS SameVersion ZeroDowntime AllUpdated —- MODULE zerodt —- EXTENDS TLC, Integers CONSTANTS OUTDATED, UPDATING, UPDATED (* –algorithm deploy variables servers = {“s1”, “s2”, “s3”}, load_balancer = servers, can_update = [s \in servers |-> FALSE], state = [s […]