tendermint

291 MiB

Tree: 67d82ff886

Author	SHA1	Message	Date
M. J. Fromberger	e92aa56a75	Clean up lint failures for Markdown files (#367 ) Many of the Markdown files in this repository fail the Markdown lint check. This change cleans up most of them, either by: - Removing links to targets that no longer exist. - Updating links to targets that have moved. - Disabling the linter for files that need more revision. - Clean up trailing whitespace in files that peeves the super-linter. Fixes #363.	3 years ago
Marko	b270ab8d15	spec: merge rust-spec (#252 )	4 years ago
Marko	fc569173a1	layout: add section titles (#240 )	4 years ago
Marko	d8a2c8f6f1	spec: remove evidences (#153 )	4 years ago
Marko	1075f77cc3	spec: extract light-client to its own directory (#152 ) Co-authored-by: Callum Waters <cmwaters19@gmail.com>	4 years ago
Marko	efbbc9462f	ci: add markdown linter (#146 )	4 years ago
Zarko Milosevic	026fddee4f	Aligh the correctness arguments with the pseudocode changes	5 years ago
Ethan Buchman	c35d6e706f	update readme	5 years ago
Ethan Buchman	035838901e	add diagram	5 years ago
Ethan Buchman	eb9e1f961c	titles	5 years ago
Ethan Buchman	f26eb4ee89	light client dir and readmes	5 years ago