Code

Migration Contract FV#832

Code

Merged

remedcu merged 8 commits intomainsafe-global/safe-smart-account:mainfrom migration-fvsafe-global/safe-smart-account:migration-fvCopy head branch name to clipboardSep 16, 2024

+335-2

Commits

Commits on Sep 16, 2024

• Adding SafeMock.sol

  

  hristo-grigorov

  authored and

  nlordell

  committed
  6256cf6

  Copy full SHA for 6256cf6

• Adding conf files

  

  hristo-grigorov

  authored and

  nlordell

  committed
  141e32b

  Copy full SHA for 141e32b

• Adding spec files

  

  hristo-grigorov

  authored and

  nlordell

  committed
  4387aed

  Copy full SHA for 4387aed

• updating invariant to match variable name update

  

  hristo-grigorov

  authored and

  nlordell

  committed
  91337f3

  Copy full SHA for 91337f3

• Certora Workflow Updated

  

  remedcu

  authored and

  nlordell

  committed
  b4cb5fc

  Copy full SHA for b4cb5fc

• Removed unused data

  

  remedcu

  authored and

  nlordell

  committed
  6f94872

  Copy full SHA for 6f94872

• Minor changes to specs

  

  remedcu

  authored and

  nlordell

  committed
  47abc75

  Copy full SHA for 47abc75

• rename to lowercase

  nlordell

  committed
  fdbbff3

  Copy full SHA for fdbbff3