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

[EVM-Equivalence-YUL] Fix compiler tester bugs #527

Merged

Commits on Jun 11, 2024

  1. Add check for overflow

    gianbelinche committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    2e190af View commit details
    Browse the repository at this point in the history
  2. Fix keccak

    gianbelinche committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    a043c2b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f44956b View commit details
    Browse the repository at this point in the history
  4. fix mload

    gianbelinche committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    7da9bc4 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ea6ce17 View commit details
    Browse the repository at this point in the history
  6. Fix compilation

    gianbelinche committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    5879008 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Add mcopy

    gianbelinche committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    f595f66 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Changes to fix tests

    jrchatruc committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ecc51e2 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

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

Commits on Jun 25, 2024

  1. Add tload and tstore

    jrchatruc committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    559ee47 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    126c052 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Configuration menu
    Copy the full SHA
    f9b5bd0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    34296da View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0828191 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    fa8338b View commit details
    Browse the repository at this point in the history
  5. Fix extcodesize

    jrchatruc committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    78b698b View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Configuration menu
    Copy the full SHA
    26e3ea9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    34ee366 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

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

Commits on Jul 3, 2024

  1. Configuration menu
    Copy the full SHA
    61c0568 View commit details
    Browse the repository at this point in the history
  2. Update preprocessed file

    IAvecilla committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    420d9ea View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    de9afeb View commit details
    Browse the repository at this point in the history