Andreas Fackler
|
36183b1e27
|
Simplify the message types.
|
2018-05-10 17:52:12 +02:00 |
Vladimir Komendantskiy
|
57ff64cce0
|
correction: Agreement outputs a value only once
|
2018-05-10 12:44:33 +01:00 |
Vladimir Komendantskiy
|
68e6a7ae2d
|
added the missing agreement broadcast message on epoch change
|
2018-05-10 12:33:01 +01:00 |
Vladimir Komendantskiy
|
fb50e38ead
|
replaced the map of estimated values with only one optional value for the current epoch
|
2018-05-10 12:09:22 +01:00 |
Vladimir Komendantskiy
|
51ef11b55c
|
fixed the count of matching AUX messages
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
259d5369b0
|
corrected the count of AUX messages
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
b6a6bb35ea
|
clear the received AUX messages on every epoch update
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
e0005a672b
|
removed the separate field in Agreement and corrected computation of estimated values
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
3e35cc665b
|
added element_proposer_id to the Agreement input to the Common Subset algorithm
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
394462c88b
|
changed code according to review comments
|
2018-05-10 10:07:22 +01:00 |
Vladimir Komendantskiy
|
5215156ec5
|
defined the output from the Common Subset algorithm
|
2018-05-10 10:02:03 +01:00 |
Vladimir Komendantskiy
|
d3b974f888
|
Binary Agreement implementation and its wiring into Common Subset
|
2018-05-10 10:02:03 +01:00 |
Andreas Fackler
|
7826987af1
|
added a Travis configuration file, fixed Clippy lints
|
2018-05-05 09:53:29 +02:00 |
Vladimir Komendantskiy
|
cde3a879e5
|
modified Agreement::set_input to output a BVAL message
|
2018-05-03 10:13:41 +01:00 |
Vladimir Komendantskiy
|
d64dec2bd1
|
added Agreement message type and protobuf boilerplate
|
2018-05-03 10:10:35 +01:00 |
Vladimir Komendantskiy
|
7b04d5e084
|
created broadcast and agreement instances in Common Subset
|
2018-05-02 14:10:26 +01:00 |
Vladimir Komendantskiy
|
389855839f
|
wrote CommonSubset::on_agreement_result and made related updates in agreement.rs
|
2018-05-02 11:57:28 +01:00 |
Vladimir Komendantskiy
|
a792a209b5
|
Common Subset handler for input messages
|
2018-05-01 18:12:05 +01:00 |
Vladimir Komendantskiy
|
eef846550f
|
added the ACS algorithm with one clause not ready yet
|
2018-04-26 14:22:18 +01:00 |