Code

Update certora-cli to 7.3.0#5021

Code

Draft

ernestognw wants to merge 8 commits intomasterOpenZeppelin/openzeppelin-contracts:masterfrom

update/certora-7.3.0OpenZeppelin/openzeppelin-contracts:update/certora-7.3.0Copy head branch name to clipboard

Commits

Commits on Apr 18, 2024

• Update certora-cli to 7.3.0

  ernestognw

  committed
  1e811d3

  Copy full SHA for 1e811d3

Commits on Apr 19, 2024

• Use SOLC_VERSION 0.8.24

  ernestognw

  committed
  274acce

  Copy full SHA for 274acce

• Fix AccessManaged summarization

  ernestognw

  committed
  52665fd

  Copy full SHA for 52665fd

• Add setAuthority rule to AccessManaged

  ernestognw

  committed
  cd86596

  Copy full SHA for cd86596

• Bump solc to 0.8.25

  ernestognw

  committed
  6a100ab

  Copy full SHA for 6a100ab

Commits on Apr 24, 2024

• Update AccessManaged spec

  ernestognw

  committed
  42bf8c3

  Copy full SHA for 42bf8c3

Commits on May 24, 2024

• Solve conflicts with halmos

  ernestognw

  committed
  1e70e61

  Copy full SHA for 1e70e61

Commits on Sep 16, 2024

• Merge branch 'master' into update/certora-7.3.0

  ernestognw

  authored
  2e9cd8c

  Copy full SHA for 2e9cd8c