Author | SHA1 | Message | Date |
---|---|---|---|
Marko |
87abbf78e6
|
Prepare to Nuke Develop (#47)
* state -> step * vote -> v * New version of the algorithm and the proof * New version of the algorithm and the proofs * Added algorithm description * Add algorithm description * Add introduction * Add conclusion * Add conclusion file * fix warnings (caption was defined twice) - only the latter is used anyways (centers captions) - this makes it possible to autom. building the paper * Update grammar * s/state_p/step_p * Address Ismail's comments * intro: language fixes * definitions: language fixes * consensus: various fixes * proof: some fixes * try to improve reviewability * \eq -> = * textwrap to 79 * various minor fixes * proof: fix itemization * proof: more minor fixes * proof: timeouts are functions * proof: fixes to lemma6 * Intro changes and improve title page * Add Marko and Ming to acks * add readme * Format algorithm correctly Clarify condition semantic and timeouts Improve descriptions * patform -> platform * Ensure that rules are mutually exclusive - various clarifications and small improvements * Release v0.6 * small nits for smoother readability |
5 years ago |
milosevic |
b362894a56
|
Merge pull request #8 from tendermint/align-algorithm-with-code
Align protocol with Tendermint code and add find valid value mechanism |
7 years ago |
Zarko Milosevic | 2866ba1a2c | Align protocol with Tendermint code and add find valid value mechanism | 7 years ago |
milosevic | 5764a81410 |
Merge pull request #1 from tendermint/feature/add-timeouts
Add three timeouts and align pseudocode better with existing algorithm |
7 years ago |
Milosevic, Zarko | 4a81d0a02f | Add three timeouts and align pseudocode better with existing algorithm | 7 years ago |
Milosevic, Zarko | 9d864da353 | Initial commit | 7 years ago |