Code

[Certora] Update morpho-blue#430

Code

Merged

MathisGD merged 7 commits intomainmorpho-org/metamorpho:mainfrom certora/update-morpho-bluemorpho-org/metamorpho:certora/update-morpho-blueCopy head branch name to clipboardNov 8, 2024

+349-354

Commits

Commits on Oct 29, 2024

• chore: update morpho-blue

  QGarchery

  committed
  99685a8

  Copy full SHA for 99685a8

• chore: format .conf files

  QGarchery

  committed
  0e4f7c9

  Copy full SHA for 0e4f7c9

• refactor: remove Morpho Util from Util

  QGarchery

  committed
  f65c4f4

  Copy full SHA for f65c4f4

• refactor: use Morpho Util, and rename Util to ERC20Helper

  QGarchery

  committed
  d24bf5e

  Copy full SHA for d24bf5e

• fix: use Morpho Util in MarketInteractions

  QGarchery

  committed
  c3b2c3a

  Copy full SHA for c3b2c3a

• refactor: remove withdrawnAssets from ERC20Helper

  QGarchery

  committed
  fb02d69

  Copy full SHA for fb02d69

Commits on Nov 6, 2024

• fix: timeout in Liveness

  QGarchery

  committed
  ba0f491

  Copy full SHA for ba0f491