Code

Setup certora workflow#96

Code

Draft

akshay-ap wants to merge 16 commits intomain5afe/safe-core-protocol:mainfrom feature-95-formal-verification5afe/safe-core-protocol:feature-95-formal-verificationCopy head branch name to clipboard

+415-2

Commits

Commits on Sep 1, 2023

• [#95] Setup certora workflow

  akshay-ap

  committed
  7fc684f

  Copy full SHA for 7fc684f

Commits on Sep 18, 2023

• [#95] Add execute permission to script

  akshay-ap

  committed
  dddcbf5

  Copy full SHA for dddcbf5

• [#95] Add param --solc in verifyManager.sh

  akshay-ap

  committed
  40f1b8c

  Copy full SHA for 40f1b8c

• [#95] Install dependencies by running yarn --frozen-lockfile

  akshay-ap

  committed
  14ae100

  Copy full SHA for 14ae100

• [#95] Fix README, add newline at end of file

  akshay-ap

  committed
  3b8b335

  Copy full SHA for 3b8b335

• Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification

  akshay-ap

  committed
  c1911af

  Copy full SHA for c1911af

• [#95] Add formal verification rules

  akshay-ap

  committed
  f919192

  Copy full SHA for f919192

Commits on Sep 19, 2023

• [#95] Update rule for hooks

  akshay-ap

  committed
  e3644ca

  Copy full SHA for e3644ca

• [#95] Check if function handler is listed and not flagged

  akshay-ap

  committed
  8ef23d0

  Copy full SHA for 8ef23d0

• [#95] Add rules for formal verification

  akshay-ap

  committed
  7c9f352

  Copy full SHA for 7c9f352

• [#95] Update hashing_length_bound to 320

  akshay-ap

  committed
  19cba7a

  Copy full SHA for 19cba7a

Commits on Sep 22, 2023

• [#95] Append solc param in verifyManager.sh

  akshay-ap

  committed
  1b64211

  Copy full SHA for 1b64211

• Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification

  akshay-ap

  committed
  ce2c27d

  Copy full SHA for ce2c27d

• [#95] Fix failing build

  akshay-ap

  committed
  6ef3c49

  Copy full SHA for 6ef3c49

• [#95] Fix solc param in verifyManager.sh

  akshay-ap

  committed
  ef786a7

  Copy full SHA for ef786a7

Commits on Sep 25, 2023

• [#95] Add rules

  akshay-ap

  committed
  4b3db3c

  Copy full SHA for 4b3db3c