Yannick Welsch 384cc5455b

Add core coordination algorithm for cluster state publishing (#32171) ...

Adds the core coordination algorithm that guarantees safety for cluster state publishing. This is a
straight-forward port of the transition rules from the formal model at
https://github.com/elastic/elasticsearch-formal-models/blob/master/ZenWithTerms/tla/ZenWithTerms.tla

2018-07-20 11:17:42 +02:00

..

licenses

Upgrade to Lucene 7.4.0. (#31529)

2018-06-22 16:17:17 +02:00

src

Add core coordination algorithm for cluster state publishing (#32171)

2018-07-20 11:17:42 +02:00

build.gradle

Handle missing values in painless (#30975)

2018-07-09 11:59:49 -04:00