Skip to content
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.

Sequential Supervisor #186

Merged
merged 32 commits into from
Nov 2, 2020
Merged

Sequential Supervisor #186

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
138dc0f
move from tendermint-rs but needs discussion
josef-widder Sep 9, 2020
77ed97e
markdown lint
tac0turtle Sep 9, 2020
3d6a023
TODO links replaced
josef-widder Sep 9, 2020
d16a4a1
links
josef-widder Sep 9, 2020
e539705
links
josef-widder Sep 9, 2020
7365e46
links lint
josef-widder Sep 9, 2020
cfcc61e
Update rust-spec/lightclient/supervisor/supervisor.md
josef-widder Sep 17, 2020
99b3061
Update rust-spec/lightclient/supervisor/supervisor.md
josef-widder Sep 17, 2020
82607f3
Update rust-spec/lightclient/supervisor/supervisor.md
josef-widder Sep 17, 2020
3f968c6
Update rust-spec/lightclient/supervisor/supervisor.md
josef-widder Sep 17, 2020
646ee31
moved peer handling definitions to supervisor
josef-widder Sep 17, 2020
fe59c67
polishing
josef-widder Sep 29, 2020
fdcb4f8
rename
josef-widder Sep 29, 2020
c71a84b
Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
josef-widder Sep 29, 2020
05bf5aa
Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
josef-widder Sep 29, 2020
60d2c4b
changes to maintain StateVerified again
josef-widder Oct 8, 2020
3524775
ready for changes in verification
josef-widder Oct 8, 2020
d9ccde4
start of supervisor
josef-widder Oct 18, 2020
9ace83c
module name
josef-widder Oct 18, 2020
e59bc88
fixed
josef-widder Oct 18, 2020
ba370b4
more details
josef-widder Oct 19, 2020
c2d90a4
supevisor completed. Now I have to add function to verification
josef-widder Oct 19, 2020
fab9341
ready for review
josef-widder Oct 20, 2020
5b2fb77
tla comment
josef-widder Oct 20, 2020
604f32f
removed issues
josef-widder Oct 20, 2020
3ce6174
Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
josef-widder Oct 22, 2020
06bae5e
intro text fixed
josef-widder Nov 2, 2020
19a3cfd
Merge branch 'josef/lc-supervisor' of github.com:tendermint/spec into…
josef-widder Nov 2, 2020
6d018a8
indentation
josef-widder Nov 2, 2020
aa8f594
Update rust-spec/lightclient/supervisor/supervisor_001_draft.md
josef-widder Nov 2, 2020
6434252
comment to entry points
josef-widder Nov 2, 2020
db1a53f
Merge branch 'josef/lc-supervisor' of github.com:tendermint/spec into…
josef-widder Nov 2, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .markdownlint.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
default: true
MD001: false
MD007: { indent: 4 }
MD013: false
MD024: { siblings_only: true }
Expand Down
Loading