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

[Certora] Verify delegation correctness #92

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

[Certora] Verify delegation correctness #92

wants to merge 16 commits into from

Commits on Nov 8, 2024

  1. feat: verify delegation correctness

    @colin-morpho
    colin-morpho committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    5af6486 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. fix: implement review comments

    @colin-morpho
    colin-morpho committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f80c7fb View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. Merge branch 'main' into colin@verif/delegation

    @colin-morpho
    colin-morpho committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    6edd946 View commit details
    Browse the repository at this point in the history

  2. fix: implement review comments

    @colin-morpho
    colin-morpho committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    873cfde View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. fix: record finding other ../src occurrences

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    b4856d8 View commit details
    Browse the repository at this point in the history

  2. refactor: remove munging with a require

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    49c96c3 View commit details
    Browse the repository at this point in the history

  3. refactor: use parameters of function as parameters of the rule

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    828d61a View commit details
    Browse the repository at this point in the history

  4. docs: add safe requires

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    3ed04da View commit details
    Browse the repository at this point in the history

  5. chore: remove dependency changes

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    763c6ab View commit details
    Browse the repository at this point in the history

  6. fix: interface munging

    @QGarchery
    QGarchery committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    6970c5e View commit details
    Browse the repository at this point in the history

  7. Merge pull request #99 from morpho-org/verif/delegation-tweaks 

    [Certora] Delegation tweaks
    @colin-morpho
    colin-morpho authored Nov 20, 2024
    Configuration menu
    Copy the full SHA
    96b3083 View commit details
    Browse the repository at this point in the history

  8. fix: minor improvements

    @colin-morpho
    colin-morpho committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    04ecb92 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2024

  1. fix: implement review comment

    @colin-morpho
    colin-morpho committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    83b19c4 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. fix: uses harnesses

    @colin-morpho
    colin-morpho committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    a6bf5a4 View commit details
    Browse the repository at this point in the history

  2. fix: fix setup

    @colin-morpho
    colin-morpho committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    bb83944 View commit details
    Browse the repository at this point in the history

  3. fix: fix harness

    @colin-morpho
    colin-morpho committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    e4143e1 View commit details
    Browse the repository at this point in the history