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

[seqbench] the-good-parts-mk3 sequence #15030

Merged
merged 4 commits into from May 13, 2024
Merged

[seqbench] the-good-parts-mk3 sequence #15030

merged 4 commits into from May 13, 2024

Commits on May 11, 2024

  1. Make fullSuite medium test case less artificial 

    - The structural simplification here is pretty artificial while the main point of the test is resolution of memory loads.
- In exchange add a simpler case covering structural simplification for the whole sequence.
    @cameel
    cameel committed May 11, 2024
    Configuration menu
    Copy the full SHA
    10afe0d View commit details
    Browse the repository at this point in the history

  2. Change the default optimizer sequence to the the-good-parts-mk3 can… 

    …didate

- `the-good-parts` variant found using seqbench.
- Third refinement:
    - adjusted to improve results for the erc20.sol contract.
    - adjustments to address regressions visible in test output of the previous version.
    @cameel
    cameel committed May 11, 2024
    Configuration menu
    Copy the full SHA
    54ab398 View commit details
    Browse the repository at this point in the history

  3. Update gas expectations

    @cameel
    cameel committed May 11, 2024
    Configuration menu
    Copy the full SHA
    c12fe8a View commit details
    Browse the repository at this point in the history

  4. Update other test expectations

    @cameel
    cameel committed May 11, 2024
    Configuration menu
    Copy the full SHA
    e19abe4 View commit details
    Browse the repository at this point in the history