Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: halmos symbolic tests #21

Merged
merged 64 commits into from
Aug 23, 2024
Merged

feat: halmos symbolic tests #21

merged 64 commits into from
Aug 23, 2024

Commits on Jul 25, 2024

  1. feat: introduce OptimismSuperchainERC20

    @agusduha
    agusduha committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    4394925 View commit details
    Browse the repository at this point in the history

  2. fix: contract fixes

    @agusduha
    agusduha committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    bb247fa View commit details
    Browse the repository at this point in the history

  3. feat: add snapshots and semver

    @agusduha
    agusduha committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    feea60d View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. test: add supports interface tests

    @agusduha
    agusduha committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    c23e226 View commit details
    Browse the repository at this point in the history

  2. test: add invariant test

    @agusduha
    agusduha committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    61d10d9 View commit details
    Browse the repository at this point in the history

  3. feat: add parameters to the RelayERC20 event

    @agusduha
    agusduha committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    d1d2f28 View commit details
    Browse the repository at this point in the history

  4. fix: typo

    @agusduha
    agusduha committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    7dd28e1 View commit details
    Browse the repository at this point in the history

  5. fix: from param description

    @agusduha
    agusduha committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    68bcdca View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. fix: event signature and interface pragma

    @0xng
    0xng committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    ca487dc View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. feat: add initializer

    @agusduha
    agusduha committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    475d83d View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. feat: use unstructured storage and OZ v5

    @agusduha
    agusduha committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    a7fdcf6 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge branch 'develop' into sc/superchain-erc20

    @agusduha
    agusduha committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    392c49a View commit details
    Browse the repository at this point in the history

  2. feat: update superchain erc20 interfaces

    @agusduha
    agusduha committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    1ed5895 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. fix: adapt storage to ERC7201

    @agusduha
    agusduha committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    8de4f01 View commit details
    Browse the repository at this point in the history

  2. test: add initializable OZ v5 test

    @agusduha
    agusduha committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    d167dce View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into sc/superchain-erc20

    @agusduha
    agusduha committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    176d232 View commit details
    Browse the repository at this point in the history

  4. fix: invariant docs

    @agusduha
    agusduha committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    e0e5910 View commit details
    Browse the repository at this point in the history

  5. fix: ERC165 implementation

    @agusduha
    agusduha committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    5514694 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge branch 'develop' into sc/superchain-erc20

    @agusduha
    agusduha committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b3813f8 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. test: improve superc20 invariant (#11)

    @0xDiscotech
    0xDiscotech authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    eac9884 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into sc/superchain-erc20

    @agusduha
    agusduha committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    97e08de View commit details
    Browse the repository at this point in the history

  3. fix: gas snapshot

    @agusduha
    agusduha committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    97377fe View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. chore: configure medusa with basic supERC20 self-bridging 

    - used --foundry-compile-all to ensure the test contract under
  `test/properties` is compiled (otherwise it is not compiled and medusa
  crashes when it can't find it's compiled representation)
- set src,test,script to test/properties/medusa to not waste time
  compiling contracts that are not required for the medusa campaign
- used an atomic bridge, which doesnt allow for testing of several of
  the proposed invariants
    @0xteddybear
    0xteddybear committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f6c3f90 View commit details
    Browse the repository at this point in the history

  2. fix: delete dead code

    @0xteddybear
    0xteddybear committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    fcbf7fe View commit details
    Browse the repository at this point in the history

  3. test: give the fuzzer a head start

    @0xteddybear
    0xteddybear committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    473a0bb View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. feat: create suite for sybolic tests with halmos 

    * test: setup and 3 properties with symbolic tests
    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    c8ccdc7 View commit details
    Browse the repository at this point in the history

  2. chore: remove todo comment

    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5f125fa View commit details
    Browse the repository at this point in the history

  3. docs: fix properties order

    @0xteddybear
    0xteddybear committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    ca1f668 View commit details
    Browse the repository at this point in the history

  4. test: document & implement assertions 22, 23 and 24

    @0xteddybear
    0xteddybear committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    8331006 View commit details
    Browse the repository at this point in the history

  5. fix: fixes from self-review

    @0xteddybear
    0xteddybear committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    466c605 View commit details
    Browse the repository at this point in the history

  6. test: guide the fuzzer a little bit less 

    previously: initial mint, bound on transfer amount: 146625 calls in 200s
now: no initial mint, no bound on transfer amount: 176835 calls in 200s

it doesn't seem to slow the fuzzer down
    @0xteddybear
    0xteddybear committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    d8ad2b1 View commit details
    Browse the repository at this point in the history

  7. feat: add property for burn 

    * refactor: remove symbolic address on mint property

* refactor: order the tests based on the property id
    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    1a0c46e View commit details
    Browse the repository at this point in the history

  8. feat: checkpoint

    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    91d378e View commit details
    Browse the repository at this point in the history

  9. chore: set xdomain sender on failing test

    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    7157066 View commit details
    Browse the repository at this point in the history

  10. chore: enhance mocks

    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5dcb3a8 View commit details
    Browse the repository at this point in the history

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

    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    945d6b6 View commit details
    Browse the repository at this point in the history

  12. Revert "Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-t… 

    …ests"

This reverts commit 945d6b6, reversing
changes made to 5dcb3a8.
    @0xDiscotech
    0xDiscotech committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    15c04d5 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

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

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    13fc70a View commit details
    Browse the repository at this point in the history

  2. chore: remove console logs

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    4a99ffd View commit details
    Browse the repository at this point in the history

  3. feat: add properties file 

    * chore: polish
    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    741971a View commit details
    Browse the repository at this point in the history

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

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    066a22f View commit details
    Browse the repository at this point in the history

  5. fix: review comments

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    2640556 View commit details
    Browse the repository at this point in the history

  6. refactor: add symbolic addresses on test functions 

    * feat: create halmos toml

* chore: polish test contract and mock
    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    3b831a6 View commit details
    Browse the repository at this point in the history

  7. chore: update property

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    b65259c View commit details
    Browse the repository at this point in the history

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

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    22d15bf View commit details
    Browse the repository at this point in the history

  9. refactor: move symbolic folder into properties one 

    * feat: create advanced tests helper contract
    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    bc49b4e View commit details
    Browse the repository at this point in the history

  10. refactor: enhance tests using symbolic addresses instead of concrete … 

    …ones
    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    cc66e13 View commit details
    Browse the repository at this point in the history

  11. chore: remove 0 property natspec

    @0xDiscotech
    0xDiscotech committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    0032eb6 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. feat: add halmos profile and just script 

    * chore: rename symbolic folder to halmos
    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    cb36b0c View commit details
    Browse the repository at this point in the history

  2. feat: add halmos commands to justfile

    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    a982ccb View commit details
    Browse the repository at this point in the history

  3. chore: reorder assertions on one test

    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    a83b29e View commit details
    Browse the repository at this point in the history

  4. refactor: complete test property seven

    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    be57ac8 View commit details
    Browse the repository at this point in the history

  5. chore: mark properties as completed

    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    787c2d7 View commit details
    Browse the repository at this point in the history

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

    @0xDiscotech
    0xDiscotech committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    313429f View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. chore: add halmos-cheatcodes dependency

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    98557e0 View commit details
    Browse the repository at this point in the history

  2. chore: rename advancedtest->halmosbase

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    4945501 View commit details
    Browse the repository at this point in the history

  3. chore: minimize mocked messenger

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    0fcf844 View commit details
    Browse the repository at this point in the history

  4. chore: delete empty halmos file

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    a974787 View commit details
    Browse the repository at this point in the history

  5. chore: revert changes to medusa.json

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    4ec3c30 View commit details
    Browse the repository at this point in the history

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

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    bf49cdf View commit details
    Browse the repository at this point in the history

  7. test: sendERC20 destination fix

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    50a8577 View commit details
    Browse the repository at this point in the history

  8. chore: natspec fixes

    @0xteddybear
    0xteddybear committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    2928e5a View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Merge pull request #32 from defi-wonderland/chore/feedback-on-halmos-… 

    …setup

fix: implementation of feedback on halmos setup
    @0xteddybear
    0xteddybear authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    99b26fa View commit details
    Browse the repository at this point in the history

  2. chore: merge base branch & fix conflicts

    @0xteddybear
    0xteddybear committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    542b539 View commit details
    Browse the repository at this point in the history