Code

Lost assets (no share price decrease)#5

Code

Merged

MathisGD merged 47 commits intodevmorpho-org/metamorpho-v1.1:devfrom feat/no-share-price-decrease-2morpho-org/metamorpho-v1.1:feat/no-share-price-decrease-2Copy head branch name to clipboardAug 18, 2024

+698-59

Commits

Commits on Jul 31, 2024

• feat: no share price decrease

  MathisGD

  committed
  a0934f8

  Copy full SHA for a0934f8

• chore: remove useless event

  MathisGD

  committed
  ea4dba7

  Copy full SHA for ea4dba7

• test: add tests

  MathisGD

  committed
  edc11f8

  Copy full SHA for edc11f8

• test: verif first rule

  MathisGD

  committed
  96849ba

  Copy full SHA for 96849ba

Commits on Aug 1, 2024

• fix: newHole bug

  MathisGD

  committed
  9dcf31b

  Copy full SHA for 9dcf31b

• chore: add hole spec in ci

  MathisGD

  committed
  a9b07cd

  Copy full SHA for a9b07cd

Commits on Aug 3, 2024

• refactor: factorize newTotalAssets computation

  MathisGD

  committed
  fe6e723

  Copy full SHA for fe6e723

Commits on Aug 4, 2024

• test: more tests

  MathisGD

  committed
  8e35b4a

  Copy full SHA for 8e35b4a

Commits on Aug 5, 2024

• test: fix one test

  MathisGD

  committed
  f819848

  Copy full SHA for f819848

• style: rename hole

  MathisGD

  committed
  e3204b8

  Copy full SHA for e3204b8

Commits on Aug 6, 2024

• refactor: minor improvement

  MathisGD

  committed
  3c9cfe9

  Copy full SHA for 3c9cfe9

• docs: update docs

  MathisGD

  committed
  6964669

  Copy full SHA for 6964669

Commits on Aug 7, 2024

• docs: typos

  MathisGD

  committed
  db71fbe

  Copy full SHA for db71fbe

Commits on Aug 8, 2024

• test: add tests

  MathisGD

  committed
  7ab940b

  Copy full SHA for 7ab940b

• docs: add two comments

  MathisGD

  committed
  104ea2e

  Copy full SHA for 104ea2e

• test: iterate on verif

  MathisGD

  committed
  04af7da

  Copy full SHA for 04af7da

• docs: force market removal

  MathisGD

  committed
  1b9089d

  Copy full SHA for 1b9089d

• test: test forced market removal

  MathisGD

  committed
  41ac724

  Copy full SHA for 41ac724

• test: certora fix patch

  MathisGD

  committed
  47fde56

  Copy full SHA for 47fde56

Commits on Aug 9, 2024

• test: fix certora munging

  MathisGD

  committed
  9eeac63

  Copy full SHA for 9eeac63

Commits on Aug 12, 2024

• test: comment out not passing rule

  MathisGD

  committed
  e26638a

  Copy full SHA for e26638a

• test: minor changes in certora

  MathisGD

  committed
  042d517

  Copy full SHA for 042d517

• test: fix LostAssetsNoLink spec with summary

  MathisGD

  committed
  4cd5c48

  Copy full SHA for 4cd5c48

Commits on Aug 13, 2024

• test: improvement certora linked rules

  MathisGD

  committed
  66ad502

  Copy full SHA for 66ad502

• chore: update munging

  QGarchery

  committed
  7dca3a6

  Copy full SHA for 7dca3a6

• refactor: use vm.store cheatcode

  QGarchery

  committed
  c7e987c

  Copy full SHA for c7e987c

• chore: sort spec files by name

  QGarchery

  committed
  a482d30

  Copy full SHA for a482d30

• chore: various non breaking improvements in src and tests

  MathisGD

  committed
  bfd4e4b

  Copy full SHA for bfd4e4b

• test: iteration certora linked

  MathisGD

  committed
  6f95c79

  Copy full SHA for 6f95c79

• fix: verification signature

  QGarchery

  committed
  493273e

  Copy full SHA for 493273e

• style: rename internal function

  MathisGD

  committed
  2a1b3a1

  Copy full SHA for 2a1b3a1

• Merge pull request #11 from morpho-org/refactor/no-share-price

  Show description for 16bf70f
  MathisGD

  authored
  16bf70f

  Copy full SHA for 16bf70f

• docs: document covering of lost funds

  MathisGD

  committed
  29251fc

  Copy full SHA for 29251fc

• Merge remote-tracking branch 'private/feat/no-share-price-decrease-2' into feat/no-share-price-decrease-2

  MathisGD

  committed
  5039521

  Copy full SHA for 5039521

• test: minor fixes certora linked

  MathisGD

  committed
  b007bfe

  Copy full SHA for b007bfe

Commits on Aug 15, 2024

• test: certora improve LostAssetsLink

  MathisGD

  committed
  950c187

  Copy full SHA for 950c187

• test: comment out two timing out rules

  MathisGD

  committed
  7c54e1f

  Copy full SHA for 7c54e1f

Commits on Aug 16, 2024

• fix: restore NotEnoughLiquidity error on overwithdraw

  adhusson

  committed
  4c1086e

  Copy full SHA for 4c1086e

• test: check lost asset increase after bad debt

  adhusson

  committed
  5ef4f07

  Copy full SHA for 5ef4f07

• Update test/forge/LostAssetsTest.sol

  Show description for c05b8ac
  

  adhusson

  and

  MathisGD

  authored
  c05b8ac

  Copy full SHA for c05b8ac

• Update test/forge/LostAssetsTest.sol

  Show description for e43aaf1
  

  adhusson

  and

  MathisGD

  authored
  e43aaf1

  Copy full SHA for e43aaf1

• fix: test fuzz params, collat min bound, collat max bound

  adhusson

  committed
  8ecd96a

  Copy full SHA for 8ecd96a

• docs: add comment to explain clamp

  adhusson

  committed
  e4c5a82

  Copy full SHA for e4c5a82

• Merge pull request #21 from morpho-org/test/test-lost-asset-increase-on-bad-debt

  Show description for ef6e92f
  adhusson

  authored
  ef6e92f

  Copy full SHA for ef6e92f

• fix: proper collateral round up in testLostAssetsAfterBadDebt

  adhusson

  committed
  64983d4

  Copy full SHA for 64983d4

• Merge pull request #18 from morpho-org/fix/restore-not-enough-liquidity

  Show description for c4f0c56
  adhusson

  authored
  c4f0c56

  Copy full SHA for c4f0c56

Commits on Aug 17, 2024

• docs: document lostAsset rounding accrual

  MathisGD

  committed
  e54ab3a

  Copy full SHA for e54ab3a