Ecosyste.ms: Issues

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

GitHub / elastic/elasticsearch-formal-models issues and pull requests

#42 - MetaData storage specification

Pull Request - State: closed - Opened by andrershov over 5 years ago - 4 comments

#41 - Quorum-based bootstrapping

Pull Request - State: closed - Opened by DaveCTurner almost 6 years ago - 3 comments

#41 - Quorum-based bootstrapping

Pull Request - State: closed - Opened by DaveCTurner almost 6 years ago - 3 comments

#40 - Allow nonzero initial version

Pull Request - State: closed - Opened by DaveCTurner almost 6 years ago - 1 comment

#40 - Allow nonzero initial version

Pull Request - State: closed - Opened by DaveCTurner almost 6 years ago - 1 comment

#39 - Update README

Pull Request - State: closed - Opened by ywelsch almost 6 years ago

#39 - Update README

Pull Request - State: closed - Opened by ywelsch almost 6 years ago

#38 - Add comment on handling replication request with higher primary term

Pull Request - State: closed - Opened by andrershov about 6 years ago

#38 - Add comment on handling replication request with higher primary term

Pull Request - State: closed - Opened by andrershov about 6 years ago

#37 - Cosmetic changes to ZenWithTerms

Pull Request - State: closed - Opened by ywelsch over 6 years ago

#37 - Cosmetic changes to ZenWithTerms

Pull Request - State: closed - Opened by ywelsch over 6 years ago

#36 - [ZenWithTerms] Explicit operation to set initial state

Pull Request - State: closed - Opened by ywelsch over 6 years ago

#36 - [ZenWithTerms] Explicit operation to set initial state

Pull Request - State: closed - Opened by ywelsch over 6 years ago

#35 - Add P2b-like invariant

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

#35 - Add P2b-like invariant

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

#34 - Invariant linking votes to committed configuration

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago - 2 comments

#34 - Invariant linking votes to committed configuration

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago - 2 comments

#33 - Generalize ClientRequest to take term and version as input

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

#33 - Generalize ClientRequest to take term and version as input

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

#32 - Only HandlePublishResponse when electionWon

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago

#32 - Only HandlePublishResponse when electionWon

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago

#31 - Update README

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago

#31 - Update README

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago

#30 - Zen with terms

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

#30 - Zen with terms

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

#29 - Introduce ReplicaEngine model

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago - 4 comments

#29 - Introduce ReplicaEngine model

Pull Request - State: closed - Opened by DaveCTurner over 6 years ago - 4 comments

#28 - Add model for interaction between Lucene & Version Map on replicas

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago - 4 comments

#28 - Add model for interaction between Lucene & Version Map on replicas

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago - 4 comments

#27 - Clarify license

Issue - State: closed - Opened by lemmy almost 7 years ago - 3 comments

#27 - Clarify license

Issue - State: closed - Opened by lemmy almost 7 years ago - 3 comments

#26 - [discuss] One master per term

Pull Request - State: closed - Opened by ywelsch almost 7 years ago - 5 comments

#26 - [discuss] One master per term

Pull Request - State: closed - Opened by ywelsch almost 7 years ago - 5 comments

#25 - [cluster/tla] Don't remove messages from the message set

Pull Request - State: closed - Opened by ywelsch almost 7 years ago - 1 comment

#25 - [cluster/tla] Don't remove messages from the message set

Pull Request - State: closed - Opened by ywelsch almost 7 years ago - 1 comment

#23 - [cluster/Isabelle] Set publishPermitted to true on catchup

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago - 1 comment

#23 - [cluster/Isabelle] Set publishPermitted to true on catchup

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago - 1 comment

#22 - [cluster/tla] Set publishPermitted to true on catchup

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#22 - [cluster/tla] Set publishPermitted to true on catchup

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#21 - Remove lastAcceptedSlot

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#21 - Remove lastAcceptedSlot

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#20 - Remove electionValueForced

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#20 - Remove electionValueForced

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#19 - Eliminate electionValueForced flag

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#18 - Realign Isabelle model with implementation

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#17 - Support exceptions in monadic implementation

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#16 - Group lastAccepted{Slot,Term,Value} into one object

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#15 - cluster/tla: Add lastAcceptedSlot field

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#14 - cluster/isabelle: Add lastAcceptedSlot field

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#13 - Add localMessage function

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#12 - Tidy up some proofs in Monadic

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#11 - Wrong kind of whitespace

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago - 1 comment

#10 - Add Isabelle model of the ClusterState consensus algorithm

Pull Request - State: closed - Opened by DaveCTurner almost 7 years ago

#9 - Move TLA+ models to tla subdirectory

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#8 - Add TLA+ spec of new consensus model with reconfiguration capabilities

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#7 - Move data replication model to subdirectory

Pull Request - State: closed - Opened by ywelsch almost 7 years ago

#6 - Realign TLA+ model and Java implementation

Pull Request - State: closed - Opened by ywelsch over 7 years ago

#5 - Stronger state constraint?

Pull Request - State: closed - Opened by DaveCTurner over 7 years ago - 3 comments

#4 - Make sending of master state to nodes be asynchronous

Pull Request - State: closed - Opened by DaveCTurner over 7 years ago - 4 comments

#3 - Remove crashedNodes and make primary promotion non-deterministic

Pull Request - State: closed - Opened by ywelsch over 7 years ago - 1 comment

#2 - Zen - Raft varianthttp://status.aws.amazon.com/

Pull Request - State: closed - Opened by dakrone over 7 years ago - 1 comment

#1 - Minor definition changes

Pull Request - State: closed - Opened by ywelsch about 8 years ago - 3 comments