Code

ICS4: Fix UpgradeSequence logic#1055

Code

Merged

AdityaSripal merged 4 commits intomaincosmos/ibc:mainfrom aditya/fix-fastforwardcosmos/ibc:aditya/fix-fastforwardCopy head branch name to clipboardDec 18, 2023

+54-38

Commits

Commits on Dec 14, 2023

• move fastforwarding logic outside crossing hello

  AdityaSripal

  committed
  43c1472

  Copy full SHA for 43c1472

• revert state pseudocode function describing correct behaviour

  AdityaSripal

  committed
  9e06b73

  Copy full SHA for 9e06b73

• move proofs up to do sequence error receipt first (#1056)

  AdityaSripal

  authored
  3b6193e

  Copy full SHA for 3b6193e

• fix fastforward logic for non-crossing-hello case, and add comments explaining

  AdityaSripal

  committed
  ffe75ca

  Copy full SHA for ffe75ca