tendermint

291 MiB

Tree: 5e0e05f938

Author	SHA1	Message	Date
Callum Waters	e81b0e290e	spec: merge spec repo into tendermint repo (#7804 )	3 years ago
Kukovec	17a197929c	Updated Apalache type annotations (#395 )	3 years ago
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
Prajjwol Gautam	f0914e66e3	Typo fix in README.md (#350 )	3 years ago
Callum Waters	e2a038e039	light: update initialization description (#320 )	3 years ago
Mateusz Górski	f793752d07	Update supervisor_001_draft.md (#333 ) * Update supervisor_001_draft.md If the only node in the FullNodes set is the primary, that was just deemed faulty, we can't find honest primary. * Update supervisor_001_draft.md	3 years ago
Mateusz Górski	4c3339ab6a	Update supervisor_001_draft.md (#334 )	3 years ago
Callum Waters	24f22eeb52	address discrepancies between spec and implementation (#322 )	3 years ago
Marko	b270ab8d15	spec: merge rust-spec (#252 )	4 years ago
Marko	fc569173a1	layout: add section titles (#240 )	4 years ago
Shahan Khatchadourian	6abcb13dab	BFT requires _less than_ 1/3 faulty validators (#228 ) Thanks fo spotting the imprecision in the text, @shahankhatch !	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

13 Commits (5e0e05f938edc800bb8878b444321a009fa74b8b)