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

Contracts + Certora specs #1

Merged
merged 40 commits into from
Sep 23, 2024
Merged

Contracts + Certora specs #1

merged 40 commits into from
Sep 23, 2024

Commits on May 3, 2023

  1. Add initial set of contracts + Certora specs

    @sunbreak1211
    sunbreak1211 committed May 3, 2023
    Configuration menu
    Copy the full SHA
    11a1d2b View commit details
    Browse the repository at this point in the history

Commits on May 9, 2023

  1. Upgrade to CVL2 + Expand specs and follow latest set standards

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    6d735aa View commit details
    Browse the repository at this point in the history

  2. Add usr param to MkrNgt + extending events

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    0e3469f View commit details
    Browse the repository at this point in the history

  3. Add MkrNgt test for different usr

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    3445cef View commit details
    Browse the repository at this point in the history

  4. Add test different from

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    f702297 View commit details
    Browse the repository at this point in the history

  5. Remove unnecessary conditional

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    904c69b View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary warp

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    ada0960 View commit details
    Browse the repository at this point in the history

  7. Add test permit owner zero

    @sunbreak1211
    sunbreak1211 committed May 9, 2023
    Configuration menu
    Copy the full SHA
    489c331 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2023

  1. Make rate immutable 

    Co-authored-by: oldchili <[email protected]>
    @sunbreak1211 @oldchili
    sunbreak1211 and oldchili authored May 10, 2023
    Configuration menu
    Copy the full SHA
    249d1ed View commit details
    Browse the repository at this point in the history

  2. Change event variable names 

    Co-authored-by: oldchili <[email protected]>
    @sunbreak1211 @oldchili
    sunbreak1211 and oldchili authored May 10, 2023
    Configuration menu
    Copy the full SHA
    dbcf089 View commit details
    Browse the repository at this point in the history

  3. Remove unused interface 

    Co-authored-by: oldchili <[email protected]>
    @sunbreak1211 @oldchili
    sunbreak1211 and oldchili authored May 10, 2023
    Configuration menu
    Copy the full SHA
    ba4dcf5 View commit details
    Browse the repository at this point in the history

  4. Remove space

    @sunbreak1211
    sunbreak1211 committed May 10, 2023
    Configuration menu
    Copy the full SHA
    7f96c1e View commit details
    Browse the repository at this point in the history

  5. Keep consistency on variable names between contract and its test

    @sunbreak1211
    sunbreak1211 committed May 10, 2023
    Configuration menu
    Copy the full SHA
    ddbf96d View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Use ngtAmt in ngtToMkr (#2) 

    * Use ngtAmt in ngtToMkr

* Add test for max dust lost

* Log both amounts
    @sunbreak1211
    sunbreak1211 authored May 11, 2023
    Configuration menu
    Copy the full SHA
    d4b3c8d View commit details
    Browse the repository at this point in the history

  2. Remove space

    @sunbreak1211
    sunbreak1211 committed May 11, 2023
    Configuration menu
    Copy the full SHA
    f05f383 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. MkrNgt Certora specs

    @sunbreak1211
    sunbreak1211 committed May 15, 2023
    Configuration menu
    Copy the full SHA
    1fa573e View commit details
    Browse the repository at this point in the history

  2. Add README

    @sunbreak1211
    sunbreak1211 committed May 15, 2023
    Configuration menu
    Copy the full SHA
    61b48dd View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Workaround for Certora typechecker change

    @sunbreak1211
    sunbreak1211 committed May 16, 2023
    Configuration menu
    Copy the full SHA
    540428c View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. forge install: token-tests

    telome committed May 29, 2023
    Configuration menu
    Copy the full SHA
    d031fb3 View commit details
    Browse the repository at this point in the history

  2. Use token-tests

    telome committed May 29, 2023
    Configuration menu
    Copy the full SHA
    d6f16ec View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Merge pull request #3 from makerdao/use-token-tests 

    Use token-tests
    @telome
    telome authored May 30, 2023
    Configuration menu
    Copy the full SHA
    10b3168 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Use production Certora for CI

    @sunbreak1211
    sunbreak1211 committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    ba3bc3e View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. Fix Makefile for Certora CVL2

    @sunbreak1211
    sunbreak1211 committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    3fa2dbd View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Change test directory location + Add deployment scripts (#4) 

    * Change test directory location + Add deployment scripts

* Remove interface

* Rename test + remove spacing

* Check ngt
    @sunbreak1211
    sunbreak1211 authored Sep 11, 2023
    Configuration menu
    Copy the full SHA
    24610ef View commit details
    Browse the repository at this point in the history

  2. Change chainlog keyword (#5)

    @sunbreak1211
    sunbreak1211 authored Sep 11, 2023
    Configuration menu
    Copy the full SHA
    c9d4e04 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Use foundry.toml + run foundry directly with its own commands

    @sunbreak1211
    sunbreak1211 committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    3830c77 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Add rate validation in init script

    @oldchili
    oldchili committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    506bff6 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Merge pull request #7 from makerdao/CS-audit-responses-deploy-scripts 

    Add rate validation in init script
    @oldchili
    oldchili authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    664e1f1 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. Audit fixes (#6) 

    * Add comments to explain why avoiding safe math checks

* Fix spacing

* Update permit following Cantina audit

* Remove increase/decreaseAllowance Certora rules

---------

Co-authored-by: telome <>
    @sunbreak1211
    sunbreak1211 authored Oct 12, 2023
    Configuration menu
    Copy the full SHA
    2d675f8 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Add CS audit reports (#8)

    @sunbreak1211
    sunbreak1211 authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    e047381 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. add cantina report

    @oldchili
    oldchili committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    8b2b04d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #9 from makerdao/add-cantina-report 

    add cantina report
    @oldchili
    oldchili authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    3d5d602 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Update Certora

    @sunbreak1211
    sunbreak1211 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    53f1e3c View commit details
    Browse the repository at this point in the history

  2. Update token-tests (#10) 

    Co-authored-by: telome <>
    @telome
    telome authored Apr 9, 2024
    Configuration menu
    Copy the full SHA
    9aa13e3 View commit details
    Browse the repository at this point in the history

  3. Fix tests CI

    @sunbreak1211
    sunbreak1211 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    705b40a View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Certora CI: clean make call

    @sunbreak1211
    sunbreak1211 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    5c7c55c View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Use solc 0.8.21 + upgrade token-tests and fix warnings due to it (#11)

    @sunbreak1211
    sunbreak1211 authored Apr 26, 2024
    Configuration menu
    Copy the full SHA
    6f2b8d2 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Renaming (#12) 

    * Renaming

* Adjust token name

* Fix test
    @sunbreak1211
    sunbreak1211 authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    3ddfa5e View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Update CS audit (#13)

    @oldchili
    oldchili authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    162e00e View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Add Sherlock Report (#15)

    @oldchili
    oldchili authored Sep 19, 2024
    Configuration menu
    Copy the full SHA
    196d816 View commit details
    Browse the repository at this point in the history