Code

Certora - testing CI#36

Code

Open

nisnislevi wants to merge 24 commits intomainCertora/aave-token-v3:mainfrom certoraCertora/aave-token-v3:certoraCopy head branch name to clipboard

+2-2

Commits

Commits on Jun 26, 2023

• all tests run except situations of from==to

  nisnislevi

  committed
  0261548

  Copy full SHA for 0261548

Commits on Jun 27, 2023

• cvl2 with buggy solidity due from==to

  nisnislevi

  committed
  c5c0532

  Copy full SHA for c5c0532

• Merge branch 'feat/base-delegation-isolation' of github.com:Certora/aave-token-v3 into feat/base-delegation-isolation-cvl2

  nisnislevi

  committed
  cadc89e

  Copy full SHA for cadc89e

• Aave's branch feat/base-delegation-isolation works fine with CVL2

  nisnislevi

  committed
  636d232

  Copy full SHA for 636d232

• remove job check-key from .yml

  nisnislevi

  committed
  2bf9909

  Copy full SHA for 2bf9909

• Merge pull request #34 from Certora/feat/base-delegation-isolation-cvl2

  Show description for 79c0df1
  nisnislevi

  authored
  79c0df1

  Copy full SHA for 79c0df1

Commits on Jun 29, 2023

• Merge branch 'bgd-labs:main' into certora

  nisnislevi

  authored
  8b9425f

  Copy full SHA for 8b9425f

• small fix for CI

  nisnislevi

  committed
  cb85ef3

  Copy full SHA for cb85ef3

• small fix for CI

  nisnislevi

  committed
  4599cbe

  Copy full SHA for 4599cbe

• small fix for CI 2

  nisnislevi

  committed
  78649da

  Copy full SHA for 78649da

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

  nisnislevi

  committed
  8b5651d

  Copy full SHA for 8b5651d

• fix Makefile for CI

  nisnislevi

  committed
  4a511c0

  Copy full SHA for 4a511c0

• fix Makefile for CI

  nisnislevi

  committed
  6bd309c

  Copy full SHA for 6bd309c

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

  nisnislevi

  committed
  d3c8951

  Copy full SHA for d3c8951

Commits on Sep 27, 2023

• Merge branch 'main' into certora

  MichaelMorami

  committed
  ebffe49

  Copy full SHA for ebffe49

• Merge branch 'main' into certora

  MichaelMorami

  committed
  528ac33

  Copy full SHA for 528ac33

Commits on Oct 2, 2023

• Merge branch 'main' into certora

  nisnislevi

  committed
  cd0b547

  Copy full SHA for cd0b547

Commits on Oct 15, 2023

• end of 15/10

  nisnislevi

  committed
  d1c51ed

  Copy full SHA for d1c51ed

Commits on Oct 17, 2023

• add 2 high-level rules

  nisnislevi

  committed
  84b7d69

  Copy full SHA for 84b7d69

• fix .yml

  nisnislevi

  committed
  35d37e5

  Copy full SHA for 35d37e5

Commits on Nov 12, 2023

• fixed certora-cli version in .yml

  nisnislevi

  committed
  fef338d

  Copy full SHA for fef338d

• merge with main

  nisnislevi

  committed
  d43fd66

  Copy full SHA for d43fd66

• add to .tml

  nisnislevi

  committed
  c483743

  Copy full SHA for c483743

• fix .yml

  nisnislevi

  committed
  64eb150

  Copy full SHA for 64eb150