Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ongardie/raft.tla issues and pull requests

#15 - fix: Receive() can receive dropped messages

Pull Request - State: closed - Opened by liang636600 3 months ago - 3 comments

#15 - fix: Receive() can receive dropped messages

Pull Request - State: closed - Opened by liang636600 3 months ago - 3 comments

#14 - Model check

Pull Request - State: closed - Opened by yulongkelly over 2 years ago

#14 - Model check

Pull Request - State: closed - Opened by yulongkelly over 2 years ago

#13 - init

Pull Request - State: closed - Opened by yulongkelly over 2 years ago - 1 comment

#13 - init

Pull Request - State: closed - Opened by yulongkelly over 2 years ago - 1 comment

#12 - init change

Pull Request - State: closed - Opened by yulongkelly over 2 years ago

#12 - init change

Pull Request - State: closed - Opened by yulongkelly over 2 years ago

#11 - Only a higher term leader can receive a client request to add v to the log

Issue - State: open - Opened by dawsonme over 3 years ago - 3 comments

#11 - Only a higher term leader can receive a client request to add v to the log

Issue - State: open - Opened by dawsonme over 3 years ago - 3 comments

#10 - Need to vote itself firstly when timeout

Issue - State: closed - Opened by dawsonme over 3 years ago - 2 comments

#10 - Need to vote itself firstly when timeout

Issue - State: closed - Opened by dawsonme over 3 years ago - 2 comments

#9 - Minor correction to the HandleAppendEntriesRequest state change clause

Pull Request - State: closed - Opened by iRitwik over 4 years ago - 1 comment

#9 - Minor correction to the HandleAppendEntriesRequest state change clause

Pull Request - State: closed - Opened by iRitwik over 4 years ago - 1 comment

#8 - source code

Issue - State: closed - Opened by TriveniSamineni over 6 years ago - 1 comment

#7 - source code

Issue - State: closed - Opened by TriveniSamineni over 6 years ago

#6 - bugfix: HandleAppendEntriesRequest

Pull Request - State: closed - Opened by wgtdkp over 6 years ago - 1 comment

#5 - Counter example

Pull Request - State: closed - Opened by jinlmsft over 8 years ago - 1 comment

#4 - Revise TLA spec.

Pull Request - State: open - Opened by jinlmsft over 8 years ago - 4 comments

#3 - Add check to AppendEntries

Issue - State: open - Opened by dricketts over 8 years ago - 1 comment

#2 - Receive() can receive dropped messages

Issue - State: closed - Opened by dricketts over 8 years ago - 8 comments

#1 - missing config

Issue - State: open - Opened by joewilliams almost 10 years ago - 10 comments