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

Update Certora reports in readme #45

Closed
wants to merge 38 commits into from
Closed

Update Certora reports in readme #45

wants to merge 38 commits into from

Commits on Mar 30, 2023

  1. forge install: aave-token-v3

    @sakulstra
    sakulstra committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    47c71c3 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. feat: break down for gov v3

    @sakulstra
    sakulstra committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    7eae23d View commit details
    Browse the repository at this point in the history

  2. fix: use delegation on both

    @sakulstra
    sakulstra committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    3d10971 View commit details
    Browse the repository at this point in the history

  3. fix: push updated version

    @sakulstra
    sakulstra committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    610ce7f View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. fix: push new storage layout

    @sakulstra
    sakulstra committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    39947db View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. feat: patch stk voting power

    @sakulstra
    sakulstra committed May 22, 2023
    Configuration menu
    Copy the full SHA
    e68fc74 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. fix: add tests for governance

    @sakulstra
    sakulstra committed May 23, 2023
    Configuration menu
    Copy the full SHA
    146ddba View commit details
    Browse the repository at this point in the history

  2. Merge pull request #1 from bgd-labs/feat/patch-stk 

    feat: patch stk voting power
    @sendra
    sendra authored May 23, 2023
    Configuration menu
    Copy the full SHA
    b9a08a7 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. fix: added eip712 update, and removed initializer params

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    075a223 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/main' into fix/resolve-conflicts

    @sakulstra
    sakulstra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    17d5ea4 View commit details
    Browse the repository at this point in the history

  3. fix: removed uneeded initializer params

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    7332567 View commit details
    Browse the repository at this point in the history

  4. fix: tests passing

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    f2d20af View commit details
    Browse the repository at this point in the history

  5. fix: update makefile

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

  6. Merge pull request #4 from bgd-labs/fix/resolve-conflicts 

    Fix/resolve conflicts
    @sakulstra
    sakulstra authored Jun 26, 2023
    Configuration menu
    Copy the full SHA
    d06979a View commit details
    Browse the repository at this point in the history

  7. fix: solved conflicts

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    be983ff View commit details
    Browse the repository at this point in the history

  8. fix: updated yarn lock

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    1a1b4e8 View commit details
    Browse the repository at this point in the history

  9. fix: new diffs

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    035f6af View commit details
    Browse the repository at this point in the history

  10. fix: path column removed

    @sendra
    sendra committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    4a7665f View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. fix: removed not needed file

    @sendra
    sendra committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    bf9ad55 View commit details
    Browse the repository at this point in the history

  2. Cleanup of the layout

    @kyzia551
    kyzia551 committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    811d787 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #5 from bgd-labs/fix/layout-cleanup 

    Cleanup of the layout
    @kyzia551
    kyzia551 authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    f51d365 View commit details
    Browse the repository at this point in the history

  4. Payload cleanup

    @kyzia551
    kyzia551 committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    0bb7f99 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #6 from bgd-labs/fix/payload-cleanup 

    Payload cleanup
    @kyzia551
    kyzia551 authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4399d8c View commit details
    Browse the repository at this point in the history

  6. Merge pull request #2 from bgd-labs/fix/eip712 

    fix: added eip712 update, and removed initializer params
    @kyzia551
    kyzia551 authored Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4a69218 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. Update Makefile

    @sakulstra
    sakulstra authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    e605859 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #7 from bgd-labs/sakulstra-patch-1 

    Update Makefile
    @sakulstra
    sakulstra authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    ae0a457 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Certora Review - add delegation rules from token-v3 spec

    @nisnislevi
    nisnislevi committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    6ace8ae View commit details
    Browse the repository at this point in the history

  2. Merge pull request #10 from Certora/certora-squash 

    Certora Review - add delegation rules from token-v3 spec
    @sendra
    sendra authored Jul 27, 2023
    Configuration menu
    Copy the full SHA
    4cc9d5c View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. move stakeWithPermit to StakeTokenV3

    @kyzia551
    kyzia551 committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    5e33b35 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #11 from bgd-labs/feat/certora 

    Feat/certora
    @sendra
    sendra authored Jul 28, 2023
    Configuration menu
    Copy the full SHA
    cbdc9e9 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:bgd-labs/aave-stk-gov-v3 into feat/… 

    …stake-with-permit-move
    @sendra
    sendra committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    f87def5 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #12 from bgd-labs/feat/stake-with-permit-move 

    Move stakeWithPermit to StakeTokenV3
    @kyzia551
    kyzia551 authored Jul 28, 2023
    Configuration menu
    Copy the full SHA
    31aa8fd View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. fix: added copyright

    @sendra
    sendra committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    828c43f View commit details
    Browse the repository at this point in the history

  2. Merge pull request #14 from bgd-labs/fix/update-readme 

    fix: added copyright
    @sendra
    sendra authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    910f099 View commit details
    Browse the repository at this point in the history

  3. fix: updated license

    @sendra
    sendra committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    748858a View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. fixing formatting and typos in v1.5 and adding report for v3

    @MichaelMorami
    MichaelMorami committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    be36cc4 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #15 from Certora/certora-squash 

    fixing formatting and typos in v1.5 and adding report for v3
    @sendra
    sendra authored Sep 27, 2023
    Configuration menu
    Copy the full SHA
    18f2f80 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Update Certora reports in readme

    @kyzia551
    kyzia551 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    2113a2b View commit details
    Browse the repository at this point in the history