Code

Ci test with pr allow renounce#30

Code

Open

tadeas-kucera wants to merge 69 commits intocertora-to-main-forkCertora/aave-token-v3:certora-to-main-forkfrom CI-test-with-PR-allow-renounceCertora/aave-token-v3:CI-test-with-PR-allow-renounceCopy head branch name to clipboard

+667-72

Commits

Commits on May 25, 2022

• certora folder with complexit check + git ignore

  MichaelMorami

  committed
  0f582d7

  Copy full SHA for 0f582d7

• certora folder with complexit check + git ignore

  MichaelMorami

  committed
  1e657e3

  Copy full SHA for 1e657e3

• removing unnecessary files and updating contract

  MichaelMorami

  committed
  c36fab4

  Copy full SHA for c36fab4

• Merge branch 'certora' of github.com:bgd-labs/aave-token-v3 into certora

  MichaelMorami

  committed
  9608d99

  Copy full SHA for 9608d99

• removing unnecessary files

  MichaelMorami

  committed
  5bffdd8

  Copy full SHA for 5bffdd8

Commits on Jun 20, 2022

• starting setup

  MichaelMorami

  committed
  12f9931

  Copy full SHA for 12f9931

Commits on Jun 28, 2022

• feat: initial harness and unit test

  yuradmt

  committed
  72e3e5d

  Copy full SHA for 72e3e5d

Commits on Jun 29, 2022

• splitting certora's gitignore from main gitignore

  MichaelMorami

  committed
  bf7fe90

  Copy full SHA for bf7fe90

• Merge branch 'certora' of github.com:bgd-labs/aave-token-v3 into certora

  MichaelMorami

  committed
  ff4fecc

  Copy full SHA for ff4fecc

Commits on Jul 12, 2022

• feat: new rules

  yuradmt

  committed
  f5f767a

  Copy full SHA for f5f767a

• Merge branch 'certora' of https://github.com/bgd-labs/aave-token-v3 into certora

  yuradmt

  committed
  c2e0cb4

  Copy full SHA for c2e0cb4

• fix: upgate gitignore to exclude certora config

  yuradmt

  committed
  da405d3

  Copy full SHA for da405d3

Commits on Jul 19, 2022

• update folders

  yuradmt

  committed
  0d93d6b

  Copy full SHA for 0d93d6b

• merge certora folder with complexit check + git ignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  249a7f2

  Copy full SHA for 249a7f2

• removing unnecessary files and updating contract

  

  MichaelMorami

  authored and

  yuradmt

  committed
  d161df8

  Copy full SHA for d161df8

• certora folder with complexit check + git ignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  676fe4a

  Copy full SHA for 676fe4a

• removing unnecessary files

  

  MichaelMorami

  authored and

  yuradmt

  committed
  abe6a90

  Copy full SHA for abe6a90

• starting setup

  

  MichaelMorami

  authored and

  yuradmt

  committed
  72013e2

  Copy full SHA for 72013e2

• feat: initial harness and unit test

  yuradmt

  committed
  9cb5293

  Copy full SHA for 9cb5293

• feat: new rules

  yuradmt

  committed
  bb26417

  Copy full SHA for bb26417

• splitting certora's gitignore from main gitignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  452e2c5

  Copy full SHA for 452e2c5

• fix: upgate gitignore to exclude certora config

  yuradmt

  committed
  75f28eb

  Copy full SHA for 75f28eb

• update folders

  yuradmt

  committed
  1988a65

  Copy full SHA for 1988a65

• rebase from main

  yuradmt

  committed
  f1b94fa

  Copy full SHA for f1b94fa

• Merge branch 'certora' of https://github.com/bgd-labs/aave-token-v3 into certora

  yuradmt

  committed
  183e803

  Copy full SHA for 183e803

• rebase from small-loss-precision branch

  yuradmt

  committed
  1a71906

  Copy full SHA for 1a71906

Commits on Jul 20, 2022

• add a setup

  yuradmt

  committed
  d2e3e2a

  Copy full SHA for d2e3e2a

Commits on Jul 25, 2022

• add erc20 spec

  yuradmt

  committed
  e5e039f

  Copy full SHA for e5e039f

Commits on Jul 26, 2022

• finalize delegate.spec

  yuradmt

  committed
  258e337

  Copy full SHA for 258e337

Commits on Jul 27, 2022

• refactor harness

  yuradmt

  committed
  cff0a2f

  Copy full SHA for cff0a2f

Commits on Jul 28, 2022

• refactor harness

  yuradmt

  committed
  0fafd34

  Copy full SHA for 0fafd34

• update AaveTokenV3 from main

  yuradmt

  committed
  3f73a32

  Copy full SHA for 3f73a32

Commits on Jul 29, 2022

• gitignore

  yuradmt

  committed
  b937ed4

  Copy full SHA for b937ed4

Commits on Jul 31, 2022

• install test

  yuradmt

  committed
  097b44f

  Copy full SHA for 097b44f

• add delegation to zero invariant

  yuradmt

  committed
  429bcd8

  Copy full SHA for 429bcd8

• update delegate correctness invariant

  yuradmt

  committed
  77ebc77

  Copy full SHA for 77ebc77

Commits on Aug 1, 2022

• invariant for sum of all balances

  yuradmt

  committed
  634118d

  Copy full SHA for 634118d

• fix invariants

  yuradmt

  committed
  4ebd9d0

  Copy full SHA for 4ebd9d0

Commits on Aug 4, 2022

• update general.spec and invariants

  yuradmt

  committed
  4430e60

  Copy full SHA for 4430e60

Commits on Aug 7, 2022

• clean up

  yuradmt

  committed
  1bee65b

  Copy full SHA for 1bee65b

• fix cantDelegateTwice rule

  yuradmt

  committed
  b54110b

  Copy full SHA for b54110b

Commits on Aug 10, 2022

• add README

  yuradmt

  committed
  dde0954

  Copy full SHA for dde0954

• update sanity runs

  yuradmt

  committed
  b228950

  Copy full SHA for b228950

• fix: bug in transferCorrect rule

  yuradmt

  committed
  2c80326

  Copy full SHA for 2c80326

Commits on Aug 11, 2022

• clean up comments

  yuradmt

  committed
  2a7e417

  Copy full SHA for 2a7e417

Commits on Aug 14, 2022

• adding the git ignore

  MichaelMorami

  committed
  1dca850

  Copy full SHA for 1dca850

Commits on Aug 30, 2022

• feat: allow renounce of delegation

  sakulstra

  committed
  756a42c

  Copy full SHA for 756a42c

Commits on Aug 31, 2022

• test: also test fail

  sakulstra

  committed
  4bdbf48

  Copy full SHA for 4bdbf48

Commits on Sep 1, 2022

• Update IGovernancePowerDelegationToken.sol

  sakulstra

  authored
  a3e966c

  Copy full SHA for a3e966c

Commits on Sep 11, 2022

• Add community spec

  yuradmt

  committed
  bd5474c

  Copy full SHA for bd5474c

• Merge branch 'certora' of https://github.com/bgd-labs/aave-token-v3 into certora

  yuradmt

  committed
  fa9f813

  Copy full SHA for fa9f813

Commits on Sep 12, 2022

• add comments to the community spec

  yuradmt

  committed
  610fdbf

  Copy full SHA for 610fdbf

Commits on Sep 21, 2022

• add munged for creating harnesses

  yuradmt

  committed
  f181c15

  Copy full SHA for f181c15

• delete todos

  yuradmt

  committed
  8456c34

  Copy full SHA for 8456c34

• add markdown report

  yuradmt

  committed
  5046629

  Copy full SHA for 5046629

• add PDF report

  yuradmt

  committed
  d4b0cd1

  Copy full SHA for d4b0cd1

Commits on Oct 2, 2022

• updating code according to BGD update

  MichaelMorami

  committed
  4b69038

  Copy full SHA for 4b69038

Commits on Oct 6, 2022

• Create temp.yml

  MichaelMorami

  authored
  f624eda

  Copy full SHA for f624eda

Commits on Mar 16, 2023

• Certora + Community Formal Verification

  MichaelMorami

  committed
  04688de

  Copy full SHA for 04688de

Commits on Mar 28, 2023

• Sync with upstream

  tadeas-kucera

  committed
  6f08e2e

  Copy full SHA for 6f08e2e

• Merge main to this branch after syncing with bgd repo remote origin

  tadeas-kucera

  committed
  68bccf6

  Copy full SHA for 68bccf6

• Fix applyHarness.patch and Makefile

  tadeas-kucera

  committed
  65e71ad

  Copy full SHA for 65e71ad

• Fix scripts

  tadeas-kucera

  committed
  7f345be

  Copy full SHA for 7f345be

• Add certora-to-main-fork github action trigger on PRs

  tadeas-kucera

  committed
  b5c3f58

  Copy full SHA for b5c3f58

• Delete unused imports from munged BaseAaveToken.sol by applyHarness.patch

  tadeas-kucera

  committed
  7524631

  Copy full SHA for 7524631

• Fix applyHarness.patch

  tadeas-kucera

  committed
  b3b97b3

  Copy full SHA for b3b97b3

• Merge remotes/upstream/feat/allow-renounce into this

  tadeas-kucera

  committed
  af3dda4

  Copy full SHA for af3dda4

• Harness import contracts from munged/src instead od munged

  tadeas-kucera

  committed
  37c7f8a

  Copy full SHA for 37c7f8a

• Merge branch 'certora-to-main-fork' into CI-test-with-PR-allow-renounce

  tadeas-kucera

  committed
  27fa738

  Copy full SHA for 27fa738