github.com/Team-Kujira/tendermint@v0.34.24-indexer/spec/light-client/accountability/results (about) 001indinv-apalache-mem-log.svg 001indinv-apalache-mem.svg 001indinv-apalache-ncells.svg 001indinv-apalache-nclauses.svg 001indinv-apalache-report.md 001indinv-apalache-time-log.svg 001indinv-apalache-time.svg 001indinv-apalache-unstable.csv