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 51 commits into from
Sep 23, 2024
Merged

Contracts + Certora specs #1

merged 51 commits into from
Sep 23, 2024

Commits on May 3, 2023

  1. Add first set of contract + Certora specs

    @sunbreak1211
    sunbreak1211 committed May 3, 2023
    Configuration menu
    Copy the full SHA
    c504166 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 (#2) 

    * Upgrade to Certora CVL2

* Follow existing latest standards and start implementing full check of storage slots on non revert rules

* Fix permitSignature_revert

* Extend more specs

* Extend more specs

* Fixes

* Extend last rules

* Tidy up

* Minor change
    @sunbreak1211
    sunbreak1211 authored May 9, 2023
    Configuration menu
    Copy the full SHA
    55a0975 View commit details
    Browse the repository at this point in the history

  2. Add suggestions for Join

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

  3. Add usr param to DaiNst + extending events

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

  4. Add DaiNst test for different usr

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

  5. Add test different from

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

  6. Remove unnecessary conditional 

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

  7. Remove unnecessary warp 

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

  8. Add test permit owner zero

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

Commits on May 10, 2023

  1. Add NstJoin specs

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

  2. Add NstJoin spec to CI

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

  3. Minor changes 

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

  4. Remove spacing

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

  5. Fix messages spec

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

Commits on May 11, 2023

  1. Remove space

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

Commits on May 12, 2023

  1. Add DaiNst Certora specs

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

  2. Add CI for running DaiNst specs

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

Commits on May 15, 2023

  1. Remove unused lines in spec

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

  2. Fix specs messages

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

  3. Add README

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

  4. Change word

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

  5. Add to README

    @sunbreak1211
    sunbreak1211 committed May 15, 2023
    Configuration menu
    Copy the full SHA
    d635984 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
    beca9b2 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
    33fd1ea 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
    9fb96a4 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
    3ca31b7 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
    731050a 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

* Rename test

* Remove spacing

* Check vat

* Update deploy/NstDeploy.sol

Co-authored-by: oldchili <[email protected]>

* Change chainlog keys

---------

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

Commits on Sep 12, 2023

  1. Fix Makefile for Certora CVL2

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

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

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

Commits on Sep 13, 2023

  1. Use certora-cli Beta for now

    @sunbreak1211
    sunbreak1211 committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    721f870 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. Audit fixes (#5) 

    * Add comments to explain why avoiding safe math checks

* Fix spacing

* Update permit and remove increase/decreaseAllowance following Cantina audit

---------

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

Commits on Nov 7, 2023

  1. Add CS audit reports (#6)

    @sunbreak1211
    sunbreak1211 authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    9a202fb 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
    d4504e6 View commit details
    Browse the repository at this point in the history

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

    add cantina report
    @oldchili
    oldchili authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    793cfac 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
    6171fd8 View commit details
    Browse the repository at this point in the history

  2. Certora: use solc instead of solc_map

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

  3. Makefile: Fix spacing

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

  4. Update token-tests

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

  5. Fix tests CI

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

  6. Fix tests CI

    @sunbreak1211
    sunbreak1211 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    645449f 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
    1264cf6 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

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

    @sunbreak1211
    sunbreak1211 authored May 7, 2024
    Configuration menu
    Copy the full SHA
    31a4159 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Add a UUPS proxy scheme (#9) 

    * Add a UUPS proxy scheme

* Remove out-of-date comment from README
    @oldchili
    oldchili authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    45c9e12 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Post Cantina Audit Minor Changes (#10) 

    * Simplify version check in init library

* Call __UUPSUpgradeable_init() as best practice
    @oldchili
    oldchili authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b7a5dec View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Update Chainsecurity report to the new and merged one (#11) 

    * Update Chainsecurity audit

* Remove CS deployment report, was merged to the main one

* Add date prefixes to the reports
    @oldchili
    oldchili authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    2672619 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Add Cantina New Report (#12)

    @oldchili
    oldchili authored Jul 3, 2024
    Configuration menu
    Copy the full SHA
    f7a7ba4 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Update CS Report (#13)

    @oldchili
    oldchili authored Aug 5, 2024
    Configuration menu
    Copy the full SHA
    56e2dd6 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Renaming + Certora adjustments (#14) 

    * Renaming + Certora adjustments

* Add missing recursive for Certora CI file

* Add missing spacing

Co-authored-by: telome <[email protected]>

* Add another spacing

Co-authored-by: telome <[email protected]>

* More spacing fixes

Co-authored-by: telome <[email protected]>

* Adjust token name

* Fix test

---------

Co-authored-by: telome <[email protected]>
    @sunbreak1211 @telome
    sunbreak1211 and telome authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    1e91268 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Update CS audit (#15)

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

Commits on Sep 19, 2024

  1. Add Sherlock Report (#18)

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