Code

[Certora] Stay healthy liquidate#684

Code

Merged

MathisGD merged 15 commits intomainmorpho-org/morpho-blue:mainfrom certora/stay-healthy-liquidatemorpho-org/morpho-blue:certora/stay-healthy-liquidateCopy head branch name to clipboardSep 30, 2024

+143-31

Commits

Commits on Jul 5, 2024

• feat: add healthy liquidate general rule

  QGarchery

  committed
  faafe0f

  Copy full SHA for faafe0f

• chore: switch to certora-cli-beta

  QGarchery

  committed
  4263c9b

  Copy full SHA for 4263c9b

• style: refactor stay healthy liquidate

  QGarchery

  committed
  d1e81ed

  Copy full SHA for d1e81ed

Commits on Aug 14, 2024

• chore: switch back to certora-cli

  QGarchery

  committed
  9aeb49f

  Copy full SHA for 9aeb49f

Commits on Aug 28, 2024

• fix: ensure price not changed by view functions

  QGarchery

  committed
  91e6beb

  Copy full SHA for 91e6beb

• fix: price did not change after liquidate

  QGarchery

  committed
  b485614

  Copy full SHA for b485614

Commits on Sep 26, 2024

• refactor: remove unnecessary require

  QGarchery

  committed
  1cc0444

  Copy full SHA for 1cc0444

• docs: comment stayHealthyLiquidate

  QGarchery

  committed
  a5efbc2

  Copy full SHA for a5efbc2

• feat: stay healthy liquidate with different markets

  QGarchery

  committed
  beea950

  Copy full SHA for beea950

Commits on Sep 27, 2024

• Merge remote-tracking branch 'origin/main' into certora/stay-healthy-liquidate

  QGarchery

  committed
  ee18a49

  Copy full SHA for ee18a49

Commits on Sep 30, 2024

• feat: split stay healthy rules

  QGarchery

  committed
  3b9eb66

  Copy full SHA for 3b9eb66

• chore: add StayHealthy spec

  QGarchery

  committed
  bbb4cca

  Copy full SHA for bbb4cca

• docs: adapt README

  QGarchery

  committed
  eb6c5b6

  Copy full SHA for eb6c5b6

• docs: fix spec of no borrow

  Show description for 8282907
  

  QGarchery

  and

  MathisGD

  authored
  8282907

  Copy full SHA for 8282907

• chore: remove unnecessary variable definition

  Show description for 90c3c8e
  

  QGarchery

  and

  MathisGD

  authored
  90c3c8e

  Copy full SHA for 90c3c8e