github.com/Team-Kujira/tendermint@v0.34.24-indexer/spec/light-client/accountability (about) 001indinv-apalache.csv MC_n4_f1.tla MC_n4_f2.tla MC_n4_f2_amnesia.tla MC_n4_f3.tla MC_n5_f1.tla MC_n5_f2.tla MC_n6_f1.tla README.md Synopsis.md TendermintAccDebug_004_draft.tla TendermintAccInv_004_draft.tla TendermintAccTrace_004_draft.tla TendermintAcc_004_draft.tla results run.sh