Code

Update certora-cli to 7.3.0#5019

Code

Closed

ernestognw wants to merge 4 commits intoOpenZeppelin:masterOpenZeppelin/openzeppelin-contracts:masterfrom

ernestognw:update/certora-7.3.0ernestognw/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