Code

Ci test with pr test/meta:#28

Code

Open

tadeas-kucera wants to merge 84 commits intocertora-to-main-forkCertora/aave-token-v3:certora-to-main-forkfrom CI-test-with-PRCertora/aave-token-v3:CI-test-with-PRCopy head branch name to clipboard

+812-78,393

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 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 20, 2023

• chore: add interface

  brotherlymite

  committed
  b398e14

  Copy full SHA for b398e14

• test: added tests for meta functions

  brotherlymite

  committed
  e472113

  Copy full SHA for e472113

Commits on Mar 21, 2023

• fix: remove oz lib

  brotherlymite

  committed
  a4b5167

  Copy full SHA for a4b5167

• fix: reinstalled oz lib

  brotherlymite

  committed
  c761c95

  Copy full SHA for c761c95

• fix: imports

  brotherlymite

  committed
  84b7763

  Copy full SHA for 84b7763

Commits on Mar 22, 2023

• fix: comment

  brotherlymite

  committed
  562b05d

  Copy full SHA for 562b05d

• fix: add nonces to the token contract

  brotherlymite

  committed
  6058d26

  Copy full SHA for 6058d26

• fix: common interface

  brotherlymite

  committed
  c006d28

  Copy full SHA for c006d28

• test: nonces

  brotherlymite

  committed
  4ec1a96

  Copy full SHA for 4ec1a96

• fix: interface import

  brotherlymite

  committed
  0c8f7a4

  Copy full SHA for 0c8f7a4

• remove not used interface method, change some docs to inheridoc

  kyzia551

  committed
  9837be5

  Copy full SHA for 9837be5

• docs: fix comment

  brotherlymite

  committed
  55a08ef

  Copy full SHA for 55a08ef

• fix: oz submodule

  brotherlymite

  committed
  5e89e5e

  Copy full SHA for 5e89e5e

• test: fixes

  brotherlymite

  committed
  e717013

  Copy full SHA for e717013

Commits on Mar 24, 2023

• fix: interface and added some comments

  brotherlymite

  committed
  284b0f0

  Copy full SHA for 284b0f0

Commits on Mar 27, 2023

• forge update: forge-std

  brotherlymite

  committed
  32b1c85

  Copy full SHA for 32b1c85

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

• Merge remotes/upstream/test/meta

  tadeas-kucera

  committed
  4aa7bce

  Copy full SHA for 4aa7bce

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

  tadeas-kucera

  committed
  7524631

  Copy full SHA for 7524631

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

  tadeas-kucera

  committed
  7a02866

  Copy full SHA for 7a02866

• Fix applyHarness.patch

  tadeas-kucera

  committed
  b3b97b3

  Copy full SHA for b3b97b3

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

  tadeas-kucera

  committed
  884ed3a

  Copy full SHA for 884ed3a

• 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

  tadeas-kucera

  committed
  8a6e281

  Copy full SHA for 8a6e281