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: support for new cheatcode of generating calldata #360

Merged
merged 51 commits into from
Sep 13, 2024
Merged

feat: support for new cheatcode of generating calldata #360

merged 51 commits into from
Sep 13, 2024

Commits on Sep 2, 2024

  1. feat: support for new cheatcode of generating calldata

    @daejunpark
    daejunpark committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    9ba725a View commit details
    Browse the repository at this point in the history

  2. fix test import

    @daejunpark
    daejunpark committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    0a1d3a7 View commit details
    Browse the repository at this point in the history

  3. feat: support for specifying contract name only

    @daejunpark
    daejunpark committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    660939f View commit details
    Browse the repository at this point in the history

  4. fix singletone class for multiprocessing

    @daejunpark
    daejunpark committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    a2005d6 View commit details
    Browse the repository at this point in the history

  5. test: update erc721 tests to use calldata generation cheatcode

    @daejunpark
    daejunpark committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    3514d4f View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. test: temp adjust until cheatcode update

    @daejunpark
    daejunpark committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    62ba0cf View commit details
    Browse the repository at this point in the history

  2. feat: generate multiple dynmaic param size combinations

    @daejunpark
    daejunpark committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    180d1db View commit details
    Browse the repository at this point in the history

  3. lint

    @daejunpark
    daejunpark committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    1b450f6 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. fix calldata encoding for empty bytes/string

    @daejunpark
    daejunpark committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    4d31cf8 View commit details
    Browse the repository at this point in the history

  2. fix: use param type to distinguish array and bytes

    @daejunpark
    daejunpark committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    3bab87e View commit details
    Browse the repository at this point in the history

  3. fix: unique symbols for calldata generation

    @daejunpark
    daejunpark committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    ca1abbf View commit details
    Browse the repository at this point in the history

  4. test: simplify simple state test

    @daejunpark
    daejunpark committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    a01bcb5 View commit details
    Browse the repository at this point in the history

  5. add comment

    @daejunpark
    daejunpark committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    82d85e1 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2024

  1. refactor by cursor

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    4a47bbf View commit details
    Browse the repository at this point in the history

  2. update test

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    8e49846 View commit details
    Browse the repository at this point in the history

  3. update halmos-cheatcodes submodule

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    66d0b0f View commit details
    Browse the repository at this point in the history

  4. cleanup test

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    998175b View commit details
    Browse the repository at this point in the history

  5. update typing

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    9c52c34 View commit details
    Browse the repository at this point in the history

  6. wip: add cursor-generated pytest

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    f8c5c40 View commit details
    Browse the repository at this point in the history

  7. fix cursor flaws

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    7c00d34 View commit details
    Browse the repository at this point in the history

  8. lint

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3ad2c4c View commit details
    Browse the repository at this point in the history

  9. update tests

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    f078c09 View commit details
    Browse the repository at this point in the history

  10. test: add create calldata for interface + count calldata combinations

    @daejunpark
    daejunpark committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    86fa552 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2024

  1. create calldata excluding view functions

    @daejunpark
    daejunpark committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    ff64bfb View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Update src/halmos/calldata.py 

    Co-authored-by: karmacoma <karma@coma.lol>
    @daejunpark @karmacoma-eth
    daejunpark and karmacoma-eth authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    4dd4612 View commit details
    Browse the repository at this point in the history

  2. update halmos-cheatcodes submodule

    @daejunpark
    daejunpark committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    ddb6800 View commit details
    Browse the repository at this point in the history

  3. pythonic refactoring

    @daejunpark
    daejunpark committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    7124320 View commit details
    Browse the repository at this point in the history

  4. aerge remote-tracking branch 'origin/feat/create-calldata-cheatcode' … 

    …into feat/create-calldata-cheatcode
    @daejunpark
    daejunpark committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    a30fd9f View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. reimplement multiple calldata encoding

    @daejunpark
    daejunpark committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    36ecb35 View commit details
    Browse the repository at this point in the history

  2. lint

    @daejunpark
    daejunpark committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    eb28518 View commit details
    Browse the repository at this point in the history

  3. comment

    @daejunpark
    daejunpark committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    2392a63 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. comment

    @daejunpark
    daejunpark committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    98f7bc8 View commit details
    Browse the repository at this point in the history

  2. refactor: mk_calldata interface

    @daejunpark
    daejunpark committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    35125f7 View commit details
    Browse the repository at this point in the history

  3. pickle build out map without ast

    @daejunpark
    daejunpark committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    d004c97 View commit details
    Browse the repository at this point in the history

  4. wip: calldata for fallback and receive

    @daejunpark
    daejunpark committed Sep 12, 2024
    3 Configuration menu
    Copy the full SHA
    f71571b View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Revert "pickle build out map without ast" 

    This reverts commit d004c97.
    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    14214c8 View commit details
    Browse the repository at this point in the history

  2. construct abi mapping on demand

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    2d46605 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'wip' into feat/create-calldata-cheatcode

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    fbe640b View commit details
    Browse the repository at this point in the history

  4. fix: assertEq with empty bytes

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    e882177 View commit details
    Browse the repository at this point in the history

  5. improve fallback calldata tests

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    62fb935 View commit details
    Browse the repository at this point in the history

  6. accept review suggestions

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    dfaf98d View commit details
    Browse the repository at this point in the history

  7. lint

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    fff65d8 View commit details
    Browse the repository at this point in the history

  8. lint

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    ea6e7b5 View commit details
    Browse the repository at this point in the history

  9. update create_bytes/string to use consistent encoding

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    de97c20 View commit details
    Browse the repository at this point in the history

  10. update other halmos cheatcodes

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    82acb65 View commit details
    Browse the repository at this point in the history

  11. refactor: explicitly return dyn_params + todo comment arrlen

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    2256fb3 View commit details
    Browse the repository at this point in the history

  12. lint

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    546aee0 View commit details
    Browse the repository at this point in the history

  13. update test names

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0b3847d View commit details
    Browse the repository at this point in the history

  14. improve calldata tests

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    69d3b7e View commit details
    Browse the repository at this point in the history

  15. feat: add --default-bytes-lengths option

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    37c7423 View commit details
    Browse the repository at this point in the history

  16. add calldata tests for nested arrays

    @daejunpark
    daejunpark committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    36bbc3f View commit details
    Browse the repository at this point in the history