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.

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

Extending KEVM configuration with <wordStackSize> #2628

Closed
wants to merge 16 commits into from

Commits on Sep 20, 2024

  1. introducing <wordStackSize>

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    738f381 View commit details
    Browse the repository at this point in the history
  2. adding underflow constraints

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    b356fd1 View commit details
    Browse the repository at this point in the history
  3. revisiting tests

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    2342626 View commit details
    Browse the repository at this point in the history
  4. optimizations

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    cf6f637 View commit details
    Browse the repository at this point in the history
  5. correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8c3052a View commit details
    Browse the repository at this point in the history
  6. correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    efe6943 View commit details
    Browse the repository at this point in the history
  7. adjusting #setStack

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    50b3744 View commit details
    Browse the repository at this point in the history
  8. correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    866597c View commit details
    Browse the repository at this point in the history
  9. correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    2afff4c View commit details
    Browse the repository at this point in the history
  10. swap optimization correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    ea61073 View commit details
    Browse the repository at this point in the history
  11. correction

    PetarMax committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    5f79a96 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2024

  1. Configuration menu
    Copy the full SHA
    fe573fa View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. capitalising WSSIZE

    PetarMax committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    557d6d9 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Configuration menu
    Copy the full SHA
    9fb19d3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    00f2300 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ad069a0 View commit details
    Browse the repository at this point in the history