William Banfield
c939e155a6
abci: clarify connection use in-process ( #337 )
...
* abci: clarify connection use in-process
* Update abci.md
* Update spec/abci/abci.md
Co-authored-by: M. J. Fromberger <fromberger@interchain.io >
* Update spec/abci/abci.md
Co-authored-by: M. J. Fromberger <fromberger@interchain.io >
* invert abci explanations
* lint++
* lint++
* lint++
* lint++
Co-authored-by: M. J. Fromberger <fromberger@interchain.io >
2021-08-24 14:27:19 -04:00
Ethan Buchman
00446bb9f4
Update README.md ( #286 )
2021-04-23 19:52:48 +00:00
Marko
9f6a4bcf23
readme: cleanup ( #262 )
...
* modify readme
* add rfc and proto
* add rust=spec back to avoid breakage
* lint readme
2021-03-17 13:51:10 +00:00
Marko
b270ab8d15
spec: merge rust-spec ( #252 )
2021-03-01 08:54:08 +00:00
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+
2020-11-09 11:08:33 +01:00
Josef Widder
d5e0294003
Detector English Spec ready ( #215 )
...
Add detector English spec
2020-11-09 11:03:20 +01:00
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
2020-10-22 14:26:56 +02:00
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
2020-10-08 10:42:00 +02:00
Josef Widder
8391fa0b89
TLA+ specs from MBT revision ( #173 )
2020-10-01 11:31:53 +02:00
Callum Waters
733b020899
evidence: update data structures ( #165 )
2020-09-29 14:05:44 +02:00
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 >
2020-09-10 12:56:15 +02:00
