Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / starydark/paxosstore-tla issues and pull requests
#9 - 书写并检验TPaxos的Liveness性质
Issue -
State: closed - Opened by hengxin over 5 years ago
- 1 comment
Labels: tlc
#8 - 更大规模的模型检验实验
Issue -
State: open - Opened by hengxin over 5 years ago
Labels: tlc
#7 - Quorum vs. All in `Accept`
Issue -
State: closed - Opened by hengxin over 5 years ago
Labels: question
#6 - EagerVotingL (refines Voting works magically; I do nothing), +Univers…
Pull Request -
State: closed - Opened by hengxin over 5 years ago
#5 - Accept has not ever been enabled with model "2P2B2V" in UniversalPaxosStore
Issue -
State: closed - Opened by hengxin over 5 years ago
- 1 comment
Labels: tlc
#4 - +Voting, +EagerVoting, +EagerVotingL (refines Voting is voilated)
Pull Request -
State: closed - Opened by hengxin over 5 years ago
#3 - +UniversalPaxosStore, +OneVotePaxosStore (has bugs)
Pull Request -
State: closed - Opened by hengxin over 5 years ago
#2 - PaxosStore.tla: comments, formatting
Pull Request -
State: closed - Opened by hengxin over 5 years ago
#1 - +.gitignore, +README, +paxosstore-tencent resources
Pull Request -
State: closed - Opened by hengxin over 5 years ago