Code

Enhance etcd raft TLA+ spec #226

Code

Open

joshuazh-x wants to merge 1 commit intoetcd-io:mainetcd-io/raft:mainfrom joshuazh-x:tv-readyjoshuazh-x/raft:tv-readyCopy head branch name to clipboard

+1,116-5,492

Commits

Commits on Oct 15, 2024

• 1. Add ready phase to the spec to model state persistence in etcd implementation.

  Show description for 432a090
  joshuazh-x

  committed
  432a090