tendermint

291 MiB

Tree: b862d7afb2

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
Callum Waters	24f22eeb52	address discrepancies between spec and implementation (#322 )	4 years ago
Marko	b270ab8d15	spec: merge rust-spec (#252 )	4 years ago
Josef Widder	d5e0294003	Detector English Spec ready (#215 ) Add detector English spec	4 years ago
Josef Widder	0794fc8ff2	first check latest with secondary (#184 )	4 years ago
Josef Widder	80747a0872	fixed an overlooked conflict (#167 )	4 years ago
Josef Widder	f3033c5515	spec: Light client attack detector (#164 ) * start with new detection and evidence spec * more definitions at top * sketch of functions * pre post draft * evidence proof * typo * evidence theory polished * some TODOs resolved * more TODOs * links * second to last revision before PR * links * I will read once more and then make a PR * removed peer handling definitions * secondary * ready to review * detector ready for review * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * Update rust-spec/lightclient/detection/detection.md * skip-trace * PossibleCommit explained * Update rust-spec/lightclient/detection/detection.md Co-authored-by: Zarko Milosevic <zarko@informal.systems> * comments by Zarko * renamed and changed link in README Co-authored-by: Zarko Milosevic <zarko@informal.systems>	4 years ago

3 Commits (b862d7afb287d52e214b59e5baecd1e931ba13c3)