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

Add support for optimization mode #75

Merged
merged 12 commits into from
Jun 21, 2023
Merged

Add support for optimization mode #75

merged 12 commits into from
Jun 21, 2023

Commits on Dec 27, 2022

  1. Add support for optimization test cases. Implementation with followin… 

    …g considerations:

- optimization functions can have a different prefix that can be configred in init mode
- optimization test functions should be view/pure
- optimization test cases fail in case of an error in EVM call
- optimization test cases never without if there is no err anywhere
- print a message for passed test cases which shows final optimized value
- unit test cases are not yet implemented, manual local testing is done
    @tarunbhm
    tarunbhm committed Dec 27, 2022
    Configuration menu
    Copy the full SHA
    8a50637 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

  1. Fix race condition in test case value update + unit test case

    @tarunbhm
    tarunbhm committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    96e477e View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. merge with master

    @ggrieco-tob
    ggrieco-tob committed May 8, 2023
    Configuration menu
    Copy the full SHA
    ad158cc View commit details
    Browse the repository at this point in the history

  2. fixed linter issues

    @ggrieco-tob
    ggrieco-tob committed May 8, 2023
    Configuration menu
    Copy the full SHA
    f4fdf22 View commit details
    Browse the repository at this point in the history

  3. show the sequence that produces the maximum value

    @ggrieco-tob
    ggrieco-tob committed May 8, 2023
    Configuration menu
    Copy the full SHA
    55c833c View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Merge branch 'master' into 71-optimization-mode

    @anishnaik
    anishnaik authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    76ddf3f View commit details
    Browse the repository at this point in the history

  2. fix comments

    @anishnaik
    anishnaik committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    f682caa View commit details
    Browse the repository at this point in the history

  3. Merge branch '71-optimization-mode' of github.com:crytic/medusa into … 

    …71-optimization-mode
    @anishnaik
    anishnaik committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    67256f9 View commit details
    Browse the repository at this point in the history

  4. update some comments and fix the isPropertyTest method to check that … 

    …the function is read-only
    @anishnaik
    anishnaik committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    a401ea8 View commit details
    Browse the repository at this point in the history

  5. add call sequence shrinking

    @anishnaik
    anishnaik committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    5070cd5 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. fix race condition, add warnings about optimization, and remove view-… 

    …only constraint on property mode
    @anishnaik
    anishnaik committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    1a68ce7 View commit details
    Browse the repository at this point in the history

  2. actually fix race condition in verifier function

    @anishnaik
    anishnaik committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    9f988b5 View commit details
    Browse the repository at this point in the history