Code

[Certora] Verif math is safe#89

Code

Merged

MathisGD merged 8 commits intomainmorpho-org/pre-liquidation:mainfrom colin@verif/safe-mathmorpho-org/pre-liquidation:colin@verif/safe-mathCopy head branch name to clipboardNov 13, 2024

Commits

Commits on Nov 4, 2024

• feat: ensure math is safe

  colin-morpho

  committed
  65ab7ba

  Copy full SHA for 65ab7ba

• fix: consistent case readme

  colin-morpho

  committed
  622e235

  Copy full SHA for 622e235

• fix: implement review suggestions

  colin-morpho

  committed
  2fc571e

  Copy full SHA for 2fc571e

• fix: fix spec

  colin-morpho

  committed
  2a69266

  Copy full SHA for 2a69266

Commits on Nov 12, 2024

• fix: configuration formatting

  colin-morpho

  committed
  8171f5e

  Copy full SHA for 8171f5e

Commits on Nov 13, 2024

• fix: implement review comments

  colin-morpho

  committed
  c715feb

  Copy full SHA for c715feb

• fix: cosmetics

  colin-morpho

  committed
  ae0ff3f

  Copy full SHA for ae0ff3f

• fix: cosmetics

  colin-morpho

  committed
  27364f0

  Copy full SHA for 27364f0