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

Rules for Findings M10 and M11 against Ether.Fi's fixes #21

Draft
wants to merge 12 commits into
base: andrew
Choose a base branch
from
Draft

Rules for Findings M10 and M11 against Ether.Fi's fixes #21

wants to merge 12 commits into from

Commits on Oct 14, 2024

  1. implement fixes for audit items M10 and M11

    @solipsis @andrew-certora
    solipsis authored and andrew-certora committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    246f8ce View commit details
    Browse the repository at this point in the history

  2. First drafts of m10 spec 

    Passes on commit with fix
    @andrew-certora
    andrew-certora committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    a32eae6 View commit details
    Browse the repository at this point in the history

  3. M10 passing with fix.

    @andrew-certora
    andrew-certora committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    487ced3 View commit details
    Browse the repository at this point in the history

  4. Add M11 rule

    @andrew-certora
    andrew-certora committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    7f727af View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. M11 at timeout

    @andrew-certora
    andrew-certora committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    d4943a3 View commit details
    Browse the repository at this point in the history

  2. Generalized M10 passing

    @andrew-certora
    andrew-certora committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    82a33d2 View commit details
    Browse the repository at this point in the history

  3. Add link to failing run wo fix

    @andrew-certora
    andrew-certora committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    4c81d8d View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Delete obsolete version of M10 rule

    @andrew-certora
    andrew-certora committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0010b3b View commit details
    Browse the repository at this point in the history

  2. Mainly add back M10 single case. M11 is WIP

    @andrew-certora
    andrew-certora committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    634562b View commit details
    Browse the repository at this point in the history

  3. Add single case rule with run links

    @andrew-certora
    andrew-certora committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    c58eec7 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Conf options for M11 that pass

    @andrew-certora
    andrew-certora committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    5a89b21 View commit details
    Browse the repository at this point in the history

  2. Add M11 run links for passing / failing cases

    @andrew-certora
    andrew-certora committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    f823eda View commit details
    Browse the repository at this point in the history