Code

Certora#9

Code

Open

MichaelMorami wants to merge 8 commits intoCertora:mainCertora/aave-v3-origin:mainfrom MichaelMorami:certoraMichaelMorami/aave-v3-origin:certoraCopy head branch name to clipboard

+5,854-2,961

Commits

Commits on Sep 11, 2024

• This new version of stataToken most importantly upgrades the architecture to rely on [openzeppelin-contracts-upgradeable](https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable) instead…

  Show description for 08bdf06
  

  5 peoplecommitted
  08bdf06

  Copy full SHA for 08bdf06

• Certora Report (aave-dao#23)

  Show description for 067d29e
  

  MichaelMorami

  and

  sakulstra

  committed
  067d29e

  Copy full SHA for 067d29e

Commits on Sep 12, 2024

• Update README.md

  sakulstra

  authored
  1591f51

  Copy full SHA for 1591f51

• Merge pull request aave-dao#53 from aave-dao/stata-token-v2

  Show description for 0c419cd
  sakulstra

  authored
  0c419cd

  Copy full SHA for 0c419cd

• refactor: reintroduce permissions

  sakulstra

  committed
  a59b175

  Copy full SHA for a59b175

Commits on Sep 15, 2024

• Certora Report After Reintroduction Of Permissioned Rescue

  MichaelMorami

  committed
  70b1e2c

  Copy full SHA for 70b1e2c

Commits on Sep 17, 2024

• testing CI

  MichaelMorami

  committed
  476c8c6

  Copy full SHA for 476c8c6

• chaning yaml

  MichaelMorami

  committed
  429e571

  Copy full SHA for 429e571