a4b68ec

Add non-recursive specification of Bisection algorithm

milosevic Nov 15, 2019

4ee393c

Clean up error conditions and simplify pseudocode

milosevic Nov 28, 2019

2306108

Apply suggestions from code review

milosevic Dec 2, 2019

afda2d3

some suggestions for pseuodocode changes

Dec 6, 2019

5c58084

Improved error handling

milosevic Dec 6, 2019

069906a

Improve algorithms

milosevic Dec 11, 2019

9ddfc79

Add explanation on difference between trusted models

milosevic Dec 11, 2019

8528cdb

Merge remote-tracking branch 'remotes/origin/master' into zm_lite_cli…

milosevic Dec 11, 2019

4f7c555

Address reviewer's comments

milosevic Dec 12, 2019

ee0cc53

Addressing reviewer's comments

milosevic Dec 25, 2019

0adde9d

Separating algorithm from proofs

milosevic Dec 26, 2019

4a9eb1f

Intermediate commit (aligning spec with the code)

milosevic Dec 31, 2019

7130c2e

Removing Store from API and providing end-to-end timing guarantees

milosevic Jan 6, 2020

146e251

Address reviewer comment's. Intermediate commit

milosevic Jan 8, 2020

f26eb4e

light client dir and readmes

ebuchman Jan 22, 2020

eb9e1f9

titles

ebuchman Jan 22, 2020

e342c21

add redirects

ebuchman Jan 22, 2020

0358389

add diagram

ebuchman Jan 22, 2020

d1bd98d

detection TODO

ebuchman Jan 22, 2020

bd2f41b

fix image

ebuchman Jan 22, 2020

c35d6e7

update readme

ebuchman Jan 22, 2020

dc54206

Merge pull request #73 from tendermint/bucky/light-reorg

milosevic Jan 23, 2020

026fdde

Aligh the correctness arguments with the pseudocode changes

milosevic Jan 23, 2020