Code

feat: halmos symbolic tests#21

Code

Merged

0xteddybear merged 64 commits intofeat/invariant-testingdefi-wonderland/optimism:feat/invariant-testingfrom feat/halmos-symbolic-testsdefi-wonderland/optimism:feat/halmos-symbolic-testsCopy head branch name to clipboardAug 23, 2024

+398-12

Commits

Commits on Jul 25, 2024

• feat: introduce OptimismSuperchainERC20

  agusduha

  committed
  4394925

• fix: contract fixes

  agusduha

  committed
  bb247fa

• feat: add snapshots and semver

  agusduha

  committed
  feea60d

Commits on Jul 26, 2024

• test: add supports interface tests

  agusduha

  committed
  c23e226

• test: add invariant test

  agusduha

  committed
  61d10d9

• feat: add parameters to the RelayERC20 event

  agusduha

  committed
  d1d2f28

• fix: typo

  agusduha

  committed
  7dd28e1

• fix: from param description

  agusduha

  committed
  68bcdca

Commits on Jul 29, 2024

• fix: event signature and interface pragma

  0xng

  committed
  ca487dc

Commits on Jul 31, 2024

• feat: add initializer

  agusduha

  committed
  475d83d

Commits on Aug 1, 2024

• feat: use unstructured storage and OZ v5

  agusduha

  committed
  a7fdcf6

Commits on Aug 2, 2024

• Merge branch 'develop' into sc/superchain-erc20

  agusduha

  committed
  392c49a

• feat: update superchain erc20 interfaces

  agusduha

  committed
  1ed5895

Commits on Aug 6, 2024

• fix: adapt storage to ERC7201

  agusduha

  committed
  8de4f01

• test: add initializable OZ v5 test

  agusduha

  committed
  d167dce

• Merge branch 'develop' into sc/superchain-erc20

  agusduha

  committed
  176d232

• fix: invariant docs

  agusduha

  committed
  e0e5910

• fix: ERC165 implementation

  agusduha

  committed
  5514694

Commits on Aug 7, 2024

• Merge branch 'develop' into sc/superchain-erc20

  agusduha

  committed
  b3813f8

Commits on Aug 8, 2024

• test: improve superc20 invariant (#11)

  0xDiscotech

  authored
  eac9884

• Merge branch 'develop' into sc/superchain-erc20

  agusduha

  committed
  97e08de

• fix: gas snapshot

  agusduha

  committed
  97377fe

Commits on Aug 13, 2024

• chore: configure medusa with basic supERC20 self-bridging

  Show description for f6c3f90
  0xteddybear

  committed
  f6c3f90

• fix: delete dead code

  0xteddybear

  committed
  fcbf7fe

• test: give the fuzzer a head start

  0xteddybear

  committed
  473a0bb

Commits on Aug 14, 2024

• feat: create suite for sybolic tests with halmos

  Show description for c8ccdc7
  0xDiscotech

  committed
  c8ccdc7

• chore: remove todo comment

  0xDiscotech

  committed
  5f125fa

• docs: fix properties order

  0xteddybear

  committed
  ca1f668

• test: document & implement assertions 22, 23 and 24

  0xteddybear

  committed
  8331006

• fix: fixes from self-review

  0xteddybear

  committed
  466c605

• test: guide the fuzzer a little bit less

  Show description for d8ad2b1
  0xteddybear

  committed
  d8ad2b1

• feat: add property for burn

  Show description for 1a0c46e
  0xDiscotech

  committed
  1a0c46e

• feat: checkpoint

  0xDiscotech

  committed
  91d378e

• chore: set xdomain sender on failing test

  0xDiscotech

  committed
  7157066

• chore: enhance mocks

  0xDiscotech

  committed
  5dcb3a8

• Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-tests

  0xDiscotech

  committed
  945d6b6

• Revert "Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-tests"

  Show description for 15c04d5
  0xDiscotech

  committed
  15c04d5

Commits on Aug 15, 2024

• refactor: remove symbolic addresses to make all of the test work

  0xDiscotech

  committed
  13fc70a

• chore: remove console logs

  0xDiscotech

  committed
  4a99ffd

• feat: add properties file

  Show description for 741971a
  0xDiscotech

  committed
  741971a

• refactor: enhance test on property 7 using direct try catch (now works)

  0xDiscotech

  committed
  066a22f

• fix: review comments

  0xDiscotech

  committed
  2640556

• refactor: add symbolic addresses on test functions

  Show description for 3b831a6
  0xDiscotech

  committed
  3b831a6

• chore: update property

  0xDiscotech

  committed
  b65259c

• Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-tests

  0xDiscotech

  committed
  22d15bf

• refactor: move symbolic folder into properties one

  Show description for bc49b4e
  0xDiscotech

  committed
  bc49b4e

• refactor: enhance tests using symbolic addresses instead of concrete ones

  0xDiscotech

  committed
  cc66e13

• chore: remove 0 property natspec

  0xDiscotech

  committed
  0032eb6

Commits on Aug 16, 2024

• feat: add halmos profile and just script

  Show description for cb36b0c
  0xDiscotech

  committed
  cb36b0c

• feat: add halmos commands to justfile

  0xDiscotech

  committed
  a982ccb

• chore: reorder assertions on one test

  0xDiscotech

  committed
  a83b29e

• refactor: complete test property seven

  0xDiscotech

  committed
  be57ac8

• chore: mark properties as completed

  0xDiscotech

  committed
  787c2d7

• Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-tests

  0xDiscotech

  committed
  313429f

Commits on Aug 22, 2024

• chore: add halmos-cheatcodes dependency

  0xteddybear

  committed
  98557e0

• chore: rename advancedtest->halmosbase

  0xteddybear

  committed
  4945501

• chore: minimize mocked messenger

  0xteddybear

  committed
  0fcf844

• chore: delete empty halmos file

  0xteddybear

  committed
  a974787

• chore: revert changes to medusa.json

  0xteddybear

  committed
  4ec3c30

• docs: update changes to PROPERTIES.md from base branch

  0xteddybear

  committed
  bf49cdf

• test: sendERC20 destination fix

  0xteddybear

  committed
  50a8577

• chore: natspec fixes

  0xteddybear

  committed
  2928e5a

Commits on Aug 23, 2024

• Merge pull request #32 from defi-wonderland/chore/feedback-on-halmos-setup

  Show description for 99b26fa
  0xteddybear

  authored
  99b26fa

• chore: merge base branch & fix conflicts

  0xteddybear

  committed
  542b539