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

Upgrade hevm to upstream main #1300

Merged
merged 10 commits into from
Sep 16, 2024
Merged

Upgrade hevm to upstream main #1300

merged 10 commits into from
Sep 16, 2024

Commits on Aug 26, 2024

  1. Upgrade hevm to echidna-patches-20240826

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    28adea9 View commit details
    Browse the repository at this point in the history

  2. ci: upgrade libsecp256k1

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    3d183a9 View commit details
    Browse the repository at this point in the history

  3. ci: use system GHC

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    31bbf5e View commit details
    Browse the repository at this point in the history

  4. ci: use clean msys2 environment

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    c3c51da View commit details
    Browse the repository at this point in the history

  5. ci: windows: link everything with clang

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    f06885b View commit details
    Browse the repository at this point in the history

  6. ci: extract stack flags into config

    @elopez
    elopez committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    21f1739 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Upgrade hevm to upstream main 

    Commit c779777d18c8ff60867f009d434b44ce08188e01
    @elopez
    elopez committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    7fc1879 View commit details
    Browse the repository at this point in the history

  2. Bump nixpkgs and cleanup cc hack

    @arcz
    arcz committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    d03c34a View commit details
    Browse the repository at this point in the history

  3. Adjust test to match new selfdestruct behavior

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

  4. Jailbreak witch

    @elopez
    elopez committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    cebed09 View commit details
    Browse the repository at this point in the history