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

Port SP invariant test from v1 #130

Closed
wants to merge 7 commits into from
Closed

Port SP invariant test from v1 #130

wants to merge 7 commits into from

Commits on Apr 25, 2024

  1. test: port SP invariant test from v1

    @danielattilasimon
    danielattilasimon committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    757e0ab View commit details
    Browse the repository at this point in the history

  2. test: fix failure after removing G

    @danielattilasimon
    danielattilasimon committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    53d3d3e View commit details
    Browse the repository at this point in the history

  3. test: fix try/catch on newer Solidity versions

    @danielattilasimon
    danielattilasimon committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    302fa41 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. fix: warning about state mutability

    @danielattilasimon
    danielattilasimon committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    377e2d4 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Merge remote-tracking branch 'origin/main' into sp-invariant

    @danielattilasimon
    danielattilasimon committed May 3, 2024
    Configuration menu
    Copy the full SHA
    629e881 View commit details
    Browse the repository at this point in the history

  2. chore: update forge-std

    @danielattilasimon
    danielattilasimon committed May 3, 2024
    Configuration menu
    Copy the full SHA
    37e01c6 View commit details
    Browse the repository at this point in the history

  3. chore: fix build after merge

    @danielattilasimon
    danielattilasimon committed May 3, 2024
    Configuration menu
    Copy the full SHA
    8ae001a View commit details
    Browse the repository at this point in the history