mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-04-23 01:00:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
3e56eb5fe31b20b18005cb95b691b4549d5b21db
tendermint/rust-spec/lightclient/verification
History
Callum Waters 733b020899 evidence: update data structures (#165)
2020-09-29 14:05:44 +02:00
..
001bmc-apalache.csv
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
Blockchain_A_1.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
Lightclient_A_1.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_3_correct.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_3_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_4_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_5_correct.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_5_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_6_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC4_7_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC5_5_correct.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC5_5_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC5_7_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC7_5_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
MC7_7_faulty.tla
Current versions of light client specs from tendermint-rs (#158)
2020-09-10 12:56:15 +02:00
verification.md
evidence: update data structures (#165)
2020-09-29 14:05:44 +02:00