Code

Add Halmos support#5034

Code

Merged

ernestognw merged 30 commits intoOpenZeppelin:masterOpenZeppelin/openzeppelin-contracts:masterfrom ernestognw:chore/use-halmosernestognw/openzeppelin-contracts:chore/use-halmosCopy head branch name to clipboardMay 23, 2024

+197-38

Commits

Commits on May 8, 2024

• Add Halmos support

  ernestognw

  committed
  d23da5c

• solhint disable

  ernestognw

  committed
  8db40c6

• Fix lint

  ernestognw

  committed
  bdc2398

Commits on May 10, 2024

• Apply Halmos team suggestions

  ernestognw

  committed
  14afaf4

Commits on May 13, 2024

• Remove commented failing tests

  ernestognw

  committed
  7c6b5ce

• Update workflow

  ernestognw

  committed
  5e10b1f

• Move halmos check to formal verification workflow

  ernestognw

  committed
  9a0eb4c

• Remove testSymbolicLog2 due to timeout

  ernestognw

  committed
  4484df4

• Merge branch 'master' into chore/use-halmos

  ernestognw

  authored
  6368717

• Fix workflow lint

  ernestognw

  committed
  da8990c

• Fix SlotDerivation tests generation

  ernestognw

  committed
  ca59b7e

• Add missing description

  ernestognw

  committed
  809a5d6

Commits on May 14, 2024

• Merge branch 'master' into chore/use-halmos

  ernestognw

  authored
  0c22458

• Upgrade python-version

  ernestognw

  committed
  61e8ab7

• Revert "Upgrade python-version"

  Show description for 05d479d
  ernestognw

  committed
  05d479d

• Set python version when building docs

  ernestognw

  committed
  5d61e47

• Revert "Set python version when building docs"

  Show description for 6e84212
  ernestognw

  committed
  6e84212

• Remove requirements.txt when building docs for netlfify

  ernestognw

  committed
  6c429a3

• Change requirements.txt file name

  ernestognw

  committed
  6729d16

• Fix wrong file reference

  ernestognw

  committed
  6e0ce0c

• Add cache-dependency-path

  ernestognw

  committed
  3b94a82

• Add explaining comment for requirements filename

  ernestognw

  committed
  01912ba

Commits on May 17, 2024

• Update .github/workflows/formal-verification.yml

  Show description for fe184a1
  

  ernestognw

  and

  Amxx

  authored
  fe184a1

• Change check_ -> checkSymbolic

  ernestognw

  committed
  cc44c6e

• Change check_ -> checkSymbolic

  ernestognw

  committed
  6ccfad5

• Recover solhint-disable

  ernestognw

  committed
  08100e8

• Split deriveArray tests

  ernestognw

  committed
  142520b

Commits on May 22, 2024

• Update scripts/generate/templates/SlotDerivation.t.js

  Amxx

  authored
  5fb63b0

• Merge branch 'master' into chore/use-halmos

  Amxx

  authored
  b4a1141

• checkSymbolic -> symbolic

  ernestognw

  committed
  8366a6d