Code

Certora rules and migration fixes#47

Code

Closed

3esmit wants to merge 1 commit intochore/more-mp-invariantslogos-co/staking:chore/more-mp-invariantsfrom fix-migrationlogos-co/staking:fix-migrationCopy head branch name to clipboard

+363-76

Commits

Commits on Feb 19, 2024

• fix: StakeManager migration fixes and certora rules

  

  3esmit

  authored and

  0x-r4bbit

  committed
  f433dcd

  Copy full SHA for f433dcd