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

Update certora-cli to 7.3.0 #5021

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

Update certora-cli to 7.3.0 #5021

wants to merge 8 commits into from

Commits on Apr 18, 2024

  1. Update certora-cli to 7.3.0

    @ernestognw
    ernestognw committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    1e811d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Use SOLC_VERSION 0.8.24

    @ernestognw
    ernestognw committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    274acce View commit details
    Browse the repository at this point in the history

  2. Fix AccessManaged summarization

    @ernestognw
    ernestognw committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    52665fd View commit details
    Browse the repository at this point in the history

  3. Add setAuthority rule to AccessManaged

    @ernestognw
    ernestognw committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    cd86596 View commit details
    Browse the repository at this point in the history

  4. Bump solc to 0.8.25

    @ernestognw
    ernestognw committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    6a100ab View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Update AccessManaged spec

    @ernestognw
    ernestognw committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    42bf8c3 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Solve conflicts with halmos

    @ernestognw
    ernestognw committed May 24, 2024
    Configuration menu
    Copy the full SHA
    1e70e61 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Merge branch 'master' into update/certora-7.3.0

    @ernestognw
    ernestognw authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    2e9cd8c View commit details
    Browse the repository at this point in the history