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: advanced tests #67

Merged
merged 86 commits into from
Jul 11, 2024
Merged

feat: advanced tests #67

merged 86 commits into from
Jul 11, 2024

Commits on Jun 19, 2024

  1. chore: additional properties

    @drgorillamd
    drgorillamd committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    42cce0e View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. feat: echidna setup (maybe)

    @drgorillamd
    drgorillamd committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    fa38fe8 View commit details
    Browse the repository at this point in the history

  2. chore: single side fork (optimism for c2)

    @drgorillamd
    drgorillamd committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    a9cea0e View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Merge branch 'dev' into feat/adv-tests

    @drgorillamd
    drgorillamd committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    0373cd2 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Merge branch 'dev' into feat/adv-tests

    @drgorillamd
    drgorillamd committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    5d800ac View commit details
    Browse the repository at this point in the history

  2. fix: echidna setup

    @drgorillamd
    drgorillamd committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b1c3804 View commit details
    Browse the repository at this point in the history

  3. fix: typo and create2 collision

    @drgorillamd
    drgorillamd committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    5bc8384 View commit details
    Browse the repository at this point in the history

  4. feat: i have seen the matrix and there is no spoon

    @drgorillamd
    drgorillamd committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    be511d5 View commit details
    Browse the repository at this point in the history

  5. fix: spoon bending intensify

    @drgorillamd
    drgorillamd committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    9c4c661 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. feat: xdomsender fuzz

    @drgorillamd
    drgorillamd committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    c12bdf2 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. feat: l1 status test

    @drgorillamd
    drgorillamd committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    fd118f8 View commit details
    Browse the repository at this point in the history

  2. feat: l1 status

    @drgorillamd
    drgorillamd committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    ae56451 View commit details
    Browse the repository at this point in the history

  3. test: l2 send message

    @hexshire
    hexshire committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    ae58227 View commit details
    Browse the repository at this point in the history

  4. style: style

    @drgorillamd
    drgorillamd committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    706abb4 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'dev' into feat/adv-tests

    @drgorillamd
    drgorillamd committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    afff020 View commit details
    Browse the repository at this point in the history

  6. fix: v bump compat

    @drgorillamd
    drgorillamd committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    fe5c0a1 View commit details
    Browse the repository at this point in the history

  7. refactor: l2 send message test

    @hexshire
    hexshire committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    6c4a2cb View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge branch 'dev' into feat/adv-tests

    @drgorillamd
    drgorillamd committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    652c09e View commit details
    Browse the repository at this point in the history

  2. feat: test3

    @drgorillamd
    drgorillamd committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    9de5980 View commit details
    Browse the repository at this point in the history

  3. feat: bridge direct call and new prop

    @drgorillamd
    drgorillamd committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    0aef19e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in… 

    …to feat/adv-tests
    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    3c4f8b7 View commit details
    Browse the repository at this point in the history

  5. chore: refactor

    @drgorillamd
    drgorillamd committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    cf8b720 View commit details
    Browse the repository at this point in the history

  6. Merge commit '3c4f8b723f341b8dbb5e06425372bc91ba5fc468' into feat/adv… 

    …-tests
    @drgorillamd
    drgorillamd committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    e3f0c68 View commit details
    Browse the repository at this point in the history

  7. test: burn locked usdc

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    8b7d503 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in… 

    …to feat/adv-tests
    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    3eb4ef3 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'dev' into feat/adv-tests

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    df09e5b View commit details
    Browse the repository at this point in the history

  10. chore: update doc

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    a10acb2 View commit details
    Browse the repository at this point in the history

  11. chore: remove corpus

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    b52c946 View commit details
    Browse the repository at this point in the history

  12. test: stop messaging

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    5c1dada View commit details
    Browse the repository at this point in the history

  13. test: add more tests

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    0753146 View commit details
    Browse the repository at this point in the history

  14. test: enhance assertions

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    2725258 View commit details
    Browse the repository at this point in the history

  15. test: add assertion

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    831764c View commit details
    Browse the repository at this point in the history

  16. fix: remove unnecessary condition

    @hexshire
    hexshire committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    810da4f View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. chore: typo

    @drgorillamd
    drgorillamd committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    0ec25ee View commit details
    Browse the repository at this point in the history

  2. fix: some preconditions and constraints

    @drgorillamd
    drgorillamd committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    8195786 View commit details
    Browse the repository at this point in the history

  3. chore: wip async messaging

    @drgorillamd
    drgorillamd committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    f95ef84 View commit details
    Browse the repository at this point in the history

  4. chore: linter warnings

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    2b08bcd View commit details
    Browse the repository at this point in the history

  5. refactor: setup

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    86b4861 View commit details
    Browse the repository at this point in the history

  6. refactor: mock

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3dfcbae View commit details
    Browse the repository at this point in the history

  7. Merge branch 'dev' into feat/adv-tests

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    e54ea37 View commit details
    Browse the repository at this point in the history

  8. refactor: comment out l2 messenger status assertions

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    6224efb View commit details
    Browse the repository at this point in the history

  9. test: set burn amount

    @hexshire
    hexshire committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    5b07f00 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. chore: wip

    @drgorillamd
    drgorillamd committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    30aff66 View commit details
    Browse the repository at this point in the history

  2. chore: wip

    @drgorillamd
    drgorillamd committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    926608d View commit details
    Browse the repository at this point in the history

  3. fix: burn locked usdc test

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    33c1df3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in… 

    …to feat/adv-tests
    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    b66edd3 View commit details
    Browse the repository at this point in the history

  5. fix: migrate to native multiple call

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    6c86c02 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'dev' into feat/adv-tests

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    362382c View commit details
    Browse the repository at this point in the history

  7. refactor: add new functions

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    abc216a View commit details
    Browse the repository at this point in the history

  8. test(echidna): add signed message

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    cb1657f View commit details
    Browse the repository at this point in the history

  9. test(echidna): l2 signed message wip

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    3372144 View commit details
    Browse the repository at this point in the history

  10. test(echidna): fix bad cheat code

    @hexshire
    hexshire committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    5ca74d0 View commit details
    Browse the repository at this point in the history

  11. feat: halmos 1 to 5

    @drgorillamd
    drgorillamd committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    3fcd6bb View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. chore: halmos (wip)

    @drgorillamd
    drgorillamd committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    6d411bb View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. test(echidna): signed messages

    @hexshire
    hexshire authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    b78694d View commit details
    Browse the repository at this point in the history

  2. test(echidna): uncomment tests

    @hexshire
    hexshire committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    771d53a View commit details
    Browse the repository at this point in the history

  3. test(echidna): uncomment and refactor case

    @hexshire
    hexshire committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    1a48508 View commit details
    Browse the repository at this point in the history

  4. test(echidna): add property 12 test

    @hexshire
    hexshire committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    d26fcec View commit details
    Browse the repository at this point in the history

  5. test(echidna): upgrade test

    @hexshire
    hexshire committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    3ba080d View commit details
    Browse the repository at this point in the history

  6. test(echidna): verify adapter

    @hexshire
    hexshire committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    db643e1 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'dev' into feat/adv-tests

    @hexshire
    hexshire authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    20b7dd7 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. test(halmos): last properties

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    bc4e0b1 View commit details
    Browse the repository at this point in the history

  2. test(echidna): ownership transfer test

    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    b447683 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in… 

    …to feat/adv-tests
    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    1aa0fa6 View commit details
    Browse the repository at this point in the history

  4. fix: properties file

    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    0ecf56e View commit details
    Browse the repository at this point in the history

  5. feat: calldata gen for usdc

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    ccf1aa5 View commit details
    Browse the repository at this point in the history

  6. chore: properties md legend

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3d57489 View commit details
    Browse the repository at this point in the history

  7. fix: l1adapter minter

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    e7f4380 View commit details
    Browse the repository at this point in the history

  8. fix: master minter blessing

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    b6a3a72 View commit details
    Browse the repository at this point in the history

  9. fix(halmos): l1adapter can burn

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    a4fd5d3 View commit details
    Browse the repository at this point in the history

  10. test(echidna): corpus and fix test

    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    39ec152 View commit details
    Browse the repository at this point in the history

  11. test(echidna): update corpus

    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3700d50 View commit details
    Browse the repository at this point in the history

  12. test(echidna): update corpus

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

  13. fix: prop 2

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    e1a99fd View commit details
    Browse the repository at this point in the history

  14. fix: clamp amount to mint

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    e783d82 View commit details
    Browse the repository at this point in the history

  15. test(echidna): fix burn locked usdc test

    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    7c61a70 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in… 

    …to feat/adv-tests
    @hexshire
    hexshire committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3c1004f View commit details
    Browse the repository at this point in the history

  17. feat: clamp

    @drgorillamd
    drgorillamd committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    8038018 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. test(echidna): refactor but on test fails

    @hexshire
    hexshire committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    23230b7 View commit details
    Browse the repository at this point in the history

  2. test(echidna): fix multi call migration test

    @hexshire
    hexshire committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    5642218 View commit details
    Browse the repository at this point in the history

  3. chore: summary wip

    @drgorillamd
    drgorillamd committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    6ff269b View commit details
    Browse the repository at this point in the history

  4. chore: some refactor and no allContracts

    @drgorillamd
    drgorillamd committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    3aa8bff View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. chore: typos

    @drgorillamd
    drgorillamd committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6da0619 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. chore: yarn & typos

    @drgorillamd
    drgorillamd committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    cc9f32e View commit details
    Browse the repository at this point in the history

  2. chore: doc

    @drgorillamd
    drgorillamd committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    d26233e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into feat/adv-tests

    @drgorillamd
    drgorillamd authored Jul 11, 2024
    Configuration menu
    Copy the full SHA
    b94ddc9 View commit details
    Browse the repository at this point in the history