Code

Certora adaptation to stata#18

Code

Merged

sakulstra merged 3 commits intobgd-labs:project-abgd-labs/aave-v3-origin:project-afrom Certora:certoraCertora/aave-v3-origin:certoraCopy head branch name to clipboardSep 11, 2024

+3,528-8

Commits

Commits on Sep 5, 2024

• fix: calculate totalAssets

  sakulstra

  committed
  53edf5f

  Copy full SHA for 53edf5f

Commits on Sep 10, 2024

• Merge branch 'project-a' of github.com:bgd-labs/aave-v3-origin into project-a

  MichaelMorami

  committed
  0c6f380

  Copy full SHA for 0c6f380

• Certora adaptation to stata

  MichaelMorami

  committed
  7cd25c0

  Copy full SHA for 7cd25c0