tendermint

291 MiB

Tree: f3216e6953

Author	SHA1	Message	Date
Ethan Buchman	00446bb9f4	Update README.md (#286 )	4 years ago
Marko	9f6a4bcf23	readme: cleanup (#262 ) * modify readme * add rfc and proto * add rust=spec back to avoid breakage * lint readme	4 years ago
Marko	b270ab8d15	spec: merge rust-spec (#252 )	4 years ago
Igor Konnov	c1ff62fe44	Light client detector spec in TLA+ and refactoring of light client verification TLA+ spec (#216 ) Add light client detector spec in TLA+	4 years ago
Josef Widder	d5e0294003	Detector English Spec ready (#215 ) Add detector English spec	4 years ago
Josef Widder	ec8af314cc	spec: update light client verification to match supervisor (#171 ) * VDD renaming of verification spec + links fixed * latest() * backwards * added TODOs * link in old file to new name * better text * revision done. needs one more round of reading * renamed constants in 001 according to TLA+ and impl * ready for PR * forgot linting * Update rust-spec/lightclient/verification/verification_002_draft.md * Update rust-spec/lightclient/verification/verification_002_draft.md * added lightstore function needed for supervisor * added lightstore functions for supervisor * ident * Update rust-spec/lightclient/verification/verification_002_draft.md	4 years ago
Igor Konnov	792767d1cb	Extending the blockchain specification (in the light client) to produce different ratios of faults (#183 ) * cleaning unused definitions * introduced the ratio of faulty processes	4 years ago
Josef Widder	8391fa0b89	TLA+ specs from MBT revision (#173 )	4 years ago
Callum Waters	733b020899	evidence: update data structures (#165 )	4 years ago
Josef Widder	b74b1c2b68	Current versions of light client specs from tendermint-rs (#158 ) * current versions of light client specs from tendermint-rs * markdown lint * linting * links * links * links Co-authored-by: Marko Baricevic <marbar3778@yahoo.com>	4 years ago

10 Commits (f3216e6953d125cc8184722f79397fc95bda4677)