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] Supply cap #419

Closed
wants to merge 17 commits into from
Closed

[Certora] Supply cap #419

wants to merge 17 commits into from

Commits on May 17, 2024

  1. feat: add respect supply cap rule

    @QGarchery
    QGarchery committed May 17, 2024
    Configuration menu
    Copy the full SHA
    cf5ad63 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. fix: expected supply assets with market params

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

  2. refactor: simplify with accrue interest

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

  3. refactor: internalize supplyAsset definition

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

  4. fix: parametric contract MetaMorpho only

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

  5. fix: summarize external balanceOf call

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

Commits on May 21, 2024

  1. feat: dispatch tokens

    @QGarchery
    QGarchery committed May 21, 2024
    Configuration menu
    Copy the full SHA
    79371b5 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. fix: splitParallel option naming

    @QGarchery
    QGarchery committed May 30, 2024
    Configuration menu
    Copy the full SHA
    c7d01c4 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. fix: dispatch transferFrom

    @QGarchery
    QGarchery committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    b3e3e7e View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. fix: large inequality for supply cap

    @QGarchery
    QGarchery committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    0c9332a View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. chore: test nondet_difficult_funcs

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

Commits on Jun 25, 2024

  1. fix: invariant about idToMarketParams

    @QGarchery
    QGarchery committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    546d4a0 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. fix: ensure config id the supplied market

    @QGarchery
    QGarchery committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    2469601 View commit details
    Browse the repository at this point in the history

  2. fix: sum total supply shares invariant

    @QGarchery
    QGarchery committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    2142b63 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge branch 'main' into certora/supply-cap

    @QGarchery
    QGarchery authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    07b7d24 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. fix: summaries expected supply assets

    @QGarchery
    QGarchery committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    1c689ef View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. fix: expected supply assets signature

    @QGarchery
    QGarchery committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    932411a View commit details
    Browse the repository at this point in the history