179 Commits (bd6fce13aece782a094cf1664fc5707fb8372893)

Author SHA1 Message Date
  Ethan Buchman 035838901e
add diagram 5 years ago
  Ethan Buchman e342c21336
add redirects 5 years ago
  Ethan Buchman eb9e1f961c
titles 5 years ago
  Ethan Buchman f26eb4ee89
light client dir and readmes 5 years ago
  Zarko Milosevic 146e251892 Address reviewer comment's. Intermediate commit 5 years ago
  Zarko Milosevic 7130c2e68c Removing Store from API and providing end-to-end timing guarantees 5 years ago
  Zarko Milosevic 4a9eb1f1ac Intermediate commit (aligning spec with the code) 5 years ago
  Zarko Milosevic 0adde9d415 Separating algorithm from proofs 5 years ago
  Zarko Milosevic ee0cc537b8 Addressing reviewer's comments 5 years ago
  Zarko Milosevic 4f7c55507c Address reviewer's comments 5 years ago
  Zarko Milosevic 9ddfc79813 Add explanation on difference between trusted models 5 years ago
  Zarko Milosevic 5c580846bb Improved error handling 5 years ago
  Anca Zamfir afda2d39b6
some suggestions for pseuodocode changes 5 years ago
  Sunny Aggarwal 743a658613 Add sr25519 amino documentation (#67) 5 years ago
  dongsamb dbc8765104 Add spec doc about unconditional_peer, persistent_peers_max_dial of ADR-050 (#68) 5 years ago
  Zarko Milosevic 2306108d8a Apply suggestions from code review 5 years ago
  Zarko Milosevic 4ee393c3da Clean up error conditions and simplify pseudocode 5 years ago
  Anton Kaliaev 953523c3cb reflect breaking changes made to Commit (#63) 5 years ago
  Marko 7b3138e694
spec: update spec with tendermint updates (#62) 5 years ago
  Zarko Milosevic a4b68ec2fb Add non-recursive specification of Bisection algorithm 5 years ago
  Zarko Milosevic f618acf2ab Fix model section 5 years ago
  Marko 513c67230f
Add Section for P2P (#53) 5 years ago
  Marko fa3430ad16
spec/consensus/signing: add more details about nil and amnesia (#54) 5 years ago
  Marko 95cf253b6d
Add ABCI SPEC (#51) 5 years ago
  Marko 9b3531d7d6
Add consesnus and blockchain specs, (#52) 5 years ago
  Marko 81a0198af2
This PR is to create signed commits to be able to merge (#50) 5 years ago