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

Formal Verification #5

Merged
merged 26 commits into from Feb 24, 2024
Merged

Formal Verification #5

merged 26 commits into from Feb 24, 2024

Commits on Feb 20, 2024

  1. ERC20 mock 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    861141d View commit details
    Browse the repository at this point in the history

  2. repayBadDebt -> repayBadDebtWithCash 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    e36aa1c View commit details
    Browse the repository at this point in the history

  3. remove extraneous code, simplify 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    c17a223 View commit details
    Browse the repository at this point in the history

  4. repayBadDebt -> repayBadDebtWithCash 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    7aff94a View commit details
    Browse the repository at this point in the history

  5. certora mock to fetch principal and borrow index 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    06be734 View commit details
    Browse the repository at this point in the history

  6. start of certora specs 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d6c8ce9 View commit details
    Browse the repository at this point in the history

  7. .certora_internal added to gitignore 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    8b0810c View commit details
    Browse the repository at this point in the history

  8. remove rule sanity 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    be620a3 View commit details
    Browse the repository at this point in the history

  9. remove 0xB3E6420941AcC44C2996666b4B5C998C1545fc19 from mFrax liquidat… 

    …ion list as user has no borrow balance

Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    5f3127c View commit details
    Browse the repository at this point in the history

  10. remove 0xA5D20094Cf1Bc45B6FF1eB3B5A828865C1E8d583 from frax proposal,… 

    … no borrowed assets

Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    53819b0 View commit details
    Browse the repository at this point in the history

  11. remove 0xcD111815A4Acb5355E137B2aae6Ec3E043D57ce9 from mxcDot propose… 

    …d changes, no borrowed assetsgs

Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    6a9bb83 View commit details
    Browse the repository at this point in the history

  12. two more v's to log out information 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    204005a View commit details
    Browse the repository at this point in the history

  13. remove 0x57e421c8a16bf0a609ef87e296cb931113a5e3ed from mxcDot propose… 

    …d changes, no borrowed assetsgs

Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    decfe0e View commit details
    Browse the repository at this point in the history

  14. remove checks on mxcDOT users 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    68c4d4b View commit details
    Browse the repository at this point in the history

  15. remove two v's to trim log output 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    33e285d View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. summary and dispatcher, ghosts, additional rules and invariants 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    872d460 View commit details
    Browse the repository at this point in the history

  2. link well address to underlying to prevent havoc 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    1dd5d24 View commit details
    Browse the repository at this point in the history

  3. getUserBorrowInterestIndex, getInitialExchangeRateMantissa 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    83c11ec View commit details
    Browse the repository at this point in the history

  4. bump mETH cash 2269023468465447134524 -> 2269023504004122147416 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    272aea8 View commit details
    Browse the repository at this point in the history

  5. summarize borrowBalanceStored 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    4caf882 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. mock all comptroller behavior, add cannotChangeBadDebt 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    6196964 View commit details
    Browse the repository at this point in the history

  2. share price specification 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    8ebfbb6 View commit details
    Browse the repository at this point in the history

  3. remove todo 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    679b284 View commit details
    Browse the repository at this point in the history

  4. testFixUserFailsNoUserBorrows, testFixUserFailsUserEqLiquidator 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    a0d5f7e View commit details
    Browse the repository at this point in the history

  5. rule sanity advanced -> basic 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    45c3fe4 View commit details
    Browse the repository at this point in the history

  6. getUserBorrowSnapshot gets interest index 

    Signed-off-by: Elliot <elliotfriedman3@gmail.com>
    @ElliotFriedman
    ElliotFriedman committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    bc2e736 View commit details
    Browse the repository at this point in the history