Code

[Certora] Liquidate buffer#704

Code

Closed

QGarchery wants to merge 12 commits intomainmorpho-org/morpho-blue:mainfrom certora/liquidate-buffermorpho-org/morpho-blue:certora/liquidate-bufferCopy head branch name to clipboard

+133

Commits

Commits on Nov 22, 2024

• feat: start liquidate buffer

  QGarchery

  committed
  f6f620e

  Copy full SHA for f6f620e

• fix: compilation with Util

  QGarchery

  committed
  6168626

  Copy full SHA for 6168626

• feat: start borrower proof

  QGarchery

  committed
  701d11d

  Copy full SHA for 701d11d

• refactor: simplify with wDivDown

  QGarchery

  committed
  f7ac78a

  Copy full SHA for f7ac78a

• feat: share improvement

  QGarchery

  committed
  1809386

  Copy full SHA for 1809386

• refactor: simplify assumptions

  QGarchery

  committed
  29762f5

  Copy full SHA for 29762f5

• refactor: order in the multiplication

  QGarchery

  committed
  44d51a1

  Copy full SHA for 44d51a1

• feat: add payload

  QGarchery

  committed
  6b41f7b

  Copy full SHA for 6b41f7b

• feat: add hints for the final assert

  QGarchery

  committed
  f04942e

  Copy full SHA for f04942e

Commits on Nov 25, 2024

• fix: wait for results in the CI

  QGarchery

  committed
  60991b4

  Copy full SHA for 60991b4

Commits on Nov 26, 2024

• Revert "fix: wait for results in the CI"

  Show description for 5179b34
  QGarchery

  committed
  5179b34

  Copy full SHA for 5179b34

Commits on Nov 30, 2024

• chore: try out multiple seeds for Z3

  QGarchery

  committed
  18c6243

  Copy full SHA for 18c6243