Code

TLA+: Forking cases for tendermint#496

Code

Merged

konnov merged 6 commits intomasterinformalsystems/tendermint-rs:masterfrom igor/tendermint-forkinformalsystems/tendermint-rs:igor/tendermint-forkCopy head branch name to clipboardSep 24, 2020

+23,149

Commits

Commits on Jul 30, 2020

• moved the PR from verification to tendermint-rs

  konnov

  committed
  e3b3b3b

  Copy full SHA for e3b3b3b

• moved the PR from verification

  konnov

  committed
  f5794fa

  Copy full SHA for f5794fa

Commits on Aug 4, 2020

• Update docs/spec/tendermint-fork-cases/TendermintAcc3.tla

  Show description for 78edaf9
  

  konnov

  and

  istoilkovska

  authored
  78edaf9

  Copy full SHA for 78edaf9

• Update docs/spec/tendermint-fork-cases/TendermintAcc3.tla

  Show description for 2865598
  

  konnov

  and

  istoilkovska

  authored
  2865598

  Copy full SHA for 2865598

• Update docs/spec/tendermint-fork-cases/TendermintAcc3.tla

  Show description for 857c376
  

  konnov

  and

  istoilkovska

  authored
  857c376

  Copy full SHA for 857c376

Commits on Sep 24, 2020

• added the missing report files

  konnov

  committed
  b49bd4c

  Copy full SHA for b49bd4c