Code

Certora main#19

Code

Closed

MichaelMorami wants to merge 3 commits intomainCertora/gho-core:mainfrom certora-mainCertora/gho-core:certora-mainCopy head branch name to clipboard

+4,645-14,417

Commits

Commits on Jan 6, 2025

• fix: Removes max variable borrow rate check in GhoAaveSteward for rates updates (aave#436)

  Show description for a0dca17
  DhairyaSethi

  authored
  a0dca17

  Copy full SHA for a0dca17

• fix: Add timelocks getter in GhoCcipSteward (aave#438)

  Show description for cf6ee42
  DhairyaSethi

  authored
  cf6ee42

  Copy full SHA for cf6ee42

Commits on Jan 13, 2025

• Adding 4626 specs

  MichaelMorami

  committed
  15ec44e

  Copy full SHA for 15ec44e