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

Bump nixpkgs #185

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Bump nixpkgs #185

wants to merge 8 commits into from

Commits on Aug 19, 2024

  1. WIP in compiling Act

    zoep committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    d8a1767 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Act compiling

    zoep committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    c8883cd View commit details
    Browse the repository at this point in the history
  2. Nits

    zoep committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ae2a518 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Fix compilation error

    zoep committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    02be389 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. bump flake

    zoep committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    84be0ad View commit details
    Browse the repository at this point in the history
  2. hevm update

    zoep committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    20a65e7 View commit details
    Browse the repository at this point in the history
  3. nit

    zoep committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    c1ed9c5 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Fix in decompiler simplification

    zoep committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    54af024 View commit details
    Browse the repository at this point in the history