Code

Ci test with pr base delegation#31

Code

Open

tadeas-kucera wants to merge 67 commits intocertora-to-main-forkCertora/aave-token-v3:certora-to-main-forkfrom CI-test-with-PR-BaseDelegationCertora/aave-token-v3:CI-test-with-PR-BaseDelegationCopy head branch name to clipboard

+882-59

Commits

Commits on May 25, 2022

• certora folder with complexit check + git ignore

  MichaelMorami

  committed
  0f582d7

• certora folder with complexit check + git ignore

  MichaelMorami

  committed
  1e657e3

• removing unnecessary files and updating contract

  MichaelMorami

  committed
  c36fab4

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

  MichaelMorami

  committed
  9608d99

• removing unnecessary files

  MichaelMorami

  committed
  5bffdd8

Commits on Jun 20, 2022

• starting setup

  MichaelMorami

  committed
  12f9931

Commits on Jun 28, 2022

• feat: initial harness and unit test

  yuradmt

  committed
  72e3e5d

Commits on Jun 29, 2022

• splitting certora's gitignore from main gitignore

  MichaelMorami

  committed
  bf7fe90

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

  MichaelMorami

  committed
  ff4fecc

Commits on Jul 12, 2022

• feat: new rules

  yuradmt

  committed
  f5f767a

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

  yuradmt

  committed
  c2e0cb4

• fix: upgate gitignore to exclude certora config

  yuradmt

  committed
  da405d3

Commits on Jul 19, 2022

• update folders

  yuradmt

  committed
  0d93d6b

• merge certora folder with complexit check + git ignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  249a7f2

• removing unnecessary files and updating contract

  

  MichaelMorami

  authored and

  yuradmt

  committed
  d161df8

• certora folder with complexit check + git ignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  676fe4a

• removing unnecessary files

  

  MichaelMorami

  authored and

  yuradmt

  committed
  abe6a90

• starting setup

  

  MichaelMorami

  authored and

  yuradmt

  committed
  72013e2

• feat: initial harness and unit test

  yuradmt

  committed
  9cb5293

• feat: new rules

  yuradmt

  committed
  bb26417

• splitting certora's gitignore from main gitignore

  

  MichaelMorami

  authored and

  yuradmt

  committed
  452e2c5

• fix: upgate gitignore to exclude certora config

  yuradmt

  committed
  75f28eb

• update folders

  yuradmt

  committed
  1988a65

• rebase from main

  yuradmt

  committed
  f1b94fa

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

  yuradmt

  committed
  183e803

• rebase from small-loss-precision branch

  yuradmt

  committed
  1a71906

Commits on Jul 20, 2022

• add a setup

  yuradmt

  committed
  d2e3e2a

Commits on Jul 25, 2022

• add erc20 spec

  yuradmt

  committed
  e5e039f

Commits on Jul 26, 2022

• finalize delegate.spec

  yuradmt

  committed
  258e337

Commits on Jul 27, 2022

• refactor harness

  yuradmt

  committed
  cff0a2f

Commits on Jul 28, 2022

• refactor harness

  yuradmt

  committed
  0fafd34

• update AaveTokenV3 from main

  yuradmt

  committed
  3f73a32

Commits on Jul 29, 2022

• gitignore

  yuradmt

  committed
  b937ed4

Commits on Jul 31, 2022

• install test

  yuradmt

  committed
  097b44f

• add delegation to zero invariant

  yuradmt

  committed
  429bcd8

• update delegate correctness invariant

  yuradmt

  committed
  77ebc77

Commits on Aug 1, 2022

• invariant for sum of all balances

  yuradmt

  committed
  634118d

• fix invariants

  yuradmt

  committed
  4ebd9d0

Commits on Aug 4, 2022

• update general.spec and invariants

  yuradmt

  committed
  4430e60

Commits on Aug 7, 2022

• clean up

  yuradmt

  committed
  1bee65b

• fix cantDelegateTwice rule

  yuradmt

  committed
  b54110b

Commits on Aug 10, 2022

• add README

  yuradmt

  committed
  dde0954

• update sanity runs

  yuradmt

  committed
  b228950

• fix: bug in transferCorrect rule

  yuradmt

  committed
  2c80326

Commits on Aug 11, 2022

• clean up comments

  yuradmt

  committed
  2a7e417

Commits on Aug 14, 2022

• adding the git ignore

  MichaelMorami

  committed
  1dca850

Commits on Sep 11, 2022

• Add community spec

  yuradmt

  committed
  bd5474c

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

  yuradmt

  committed
  fa9f813

Commits on Sep 12, 2022

• add comments to the community spec

  yuradmt

  committed
  610fdbf

Commits on Sep 21, 2022

• add munged for creating harnesses

  yuradmt

  committed
  f181c15

• delete todos

  yuradmt

  committed
  8456c34

• add markdown report

  yuradmt

  committed
  5046629

• add PDF report

  yuradmt

  committed
  d4b0cd1

Commits on Oct 2, 2022

• updating code according to BGD update

  MichaelMorami

  committed
  4b69038

Commits on Oct 6, 2022

• Create temp.yml

  MichaelMorami

  authored
  f624eda

Commits on Mar 16, 2023

• Certora + Community Formal Verification

  MichaelMorami

  committed
  04688de

Commits on Mar 28, 2023

• Sync with upstream

  tadeas-kucera

  committed
  6f08e2e

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

  tadeas-kucera

  committed
  68bccf6

• Fix applyHarness.patch and Makefile

  tadeas-kucera

  committed
  65e71ad

• draft: BaseDelegation

  kyzia551

  committed
  924cb6f

• Fix scripts

  tadeas-kucera

  committed
  7f345be

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

  tadeas-kucera

  committed
  b5c3f58

• change GovernancePowerType to uint8 on DELEGATE_BY_TYPE_TYPEHASH

  kyzia551

  committed
  7a97d9d

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

  tadeas-kucera

  committed
  7524631

• Fix applyHarness.patch

  tadeas-kucera

  committed
  b3b97b3

• Harness import contracts from munged/src instead od munged

  tadeas-kucera

  committed
  37c7f8a

• Merge remote-tracking branch 'upstream/feat/base-delegation-isolation' into CI-test-with-PR-BaseDelegation

  tadeas-kucera

  committed
  3cf1ca3