Code

Dev#25

Code

Merged

MathisGD merged 143 commits intomainmorpho-org/metamorpho-v1.1:mainfrom devmorpho-org/metamorpho-v1.1:devCopy head branch name to clipboardSep 26, 2024

+1,167-562

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

• feat: min timelock zero

  MathisGD

  committed
  6d4767f

  Copy full SHA for 6d4767f

• fix: remove useless constant

  MathisGD

  committed
  17d610b

  Copy full SHA for 17d610b

• docs: adapt docs

  MathisGD

  committed
  cdc85d0

  Copy full SHA for cdc85d0

• test: adapt verif

  MathisGD

  committed
  0d8cdce

  Copy full SHA for 0d8cdce

• test: adapt tests

  MathisGD

  committed
  ab36b5d

  Copy full SHA for ab36b5d

Commits on Aug 10, 2024

• feat: mutable name and symbol, override

  MathisGD

  committed
  8f9f9d6

  Copy full SHA for 8f9f9d6

Commits on Aug 11, 2024

• feat: add events

  MathisGD

  committed
  21de97e

  Copy full SHA for 21de97e

• refactor: minor refactor

  MathisGD

  committed
  b387028

  Copy full SHA for b387028

• docs: minor change

  MathisGD

  committed
  4f903ae

  Copy full SHA for 4f903ae

Commits on Aug 12, 2024

• test: fix noBadPendingCap verif

  MathisGD

  committed
  b06cbdc

  Copy full SHA for b06cbdc

• test: fix canForceRemoveMarket verif

  MathisGD

  committed
  5e71fa8

  Copy full SHA for 5e71fa8

• test: fix PendingValues verif

  MathisGD

  committed
  a740591

  Copy full SHA for a740591

• test: remove now useless assumptions

  MathisGD

  committed
  54bac05

  Copy full SHA for 54bac05

• test: readd useful assumption in Liveness

  MathisGD

  committed
  ca1d81f

  Copy full SHA for ca1d81f

• test: readd useful assumptions

  MathisGD

  committed
  7632c38

  Copy full SHA for 7632c38

• test: comment out not passing rule

  MathisGD

  committed
  e26638a

  Copy full SHA for e26638a

• Merge branch 'feat/no-share-price-decrease-2' into feat/other-features

  MathisGD

  committed
  aa338bb

  Copy full SHA for aa338bb

• test: readd assumption in smallerPendingTimelock

  MathisGD

  committed
  508ca77

  Copy full SHA for 508ca77

• test: last fixes PendingValues

  MathisGD

  committed
  bf250ca

  Copy full SHA for bf250ca

• test: minor changes in certora

  MathisGD

  committed
  042d517

  Copy full SHA for 042d517

• test: fix noBadPendingTimelock

  MathisGD

  committed
  2b20e82

  Copy full SHA for 2b20e82

• 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

• test: minor improvement

  MathisGD

  committed
  253a77f

  Copy full SHA for 253a77f

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

  MathisGD

  committed
  6e695b0

  Copy full SHA for 6e695b0

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

• chore: bumb solidity version to reduce contract size

  MathisGD

  committed
  febee47

  Copy full SHA for febee47

• Merge branch 'feat/no-share-price-decrease-2' into feat/mutable-name-3

  MathisGD

  committed
  bcd6b9c

  Copy full SHA for bcd6b9c

• Merge branch 'feat/no-share-price-decrease-2' into feat/other-features

  MathisGD

  committed
  e18ebc3

  Copy full SHA for e18ebc3

• test: fix compilation in certora setup

  MathisGD

  committed
  bd40350

  Copy full SHA for bd40350

• test: last bumps

  MathisGD

  committed
  992b6b9

  Copy full SHA for 992b6b9

• test: fix hardhat config

  MathisGD

  committed
  e755733

  Copy full SHA for e755733

• test: fix hardhat config

  MathisGD

  committed
  142aeb9

  Copy full SHA for 142aeb9

Commits on Aug 16, 2024

• test: try back 0.8.24

  MathisGD

  committed
  19e31ac

  Copy full SHA for 19e31ac

• chore: 24/paris

  MathisGD

  committed
  48f4ba0

  Copy full SHA for 48f4ba0

• chore: 26/paris

  MathisGD

  committed
  bf2ccd7

  Copy full SHA for bf2ccd7

• test: switch back verification to cancun

  MathisGD

  committed
  46682af

  Copy full SHA for 46682af

• test: fix hardhat config

  MathisGD

  committed
  e628696

  Copy full SHA for e628696

• fix: restore NotEnoughLiquidity error on overwithdraw

  adhusson

  committed
  4c1086e

  Copy full SHA for 4c1086e

• feat: initial timelock can be 0

  adhusson

  committed
  697c5aa

  Copy full SHA for 697c5aa

• docs: minor update

  Show description for 28c751c
  MathisGD

  authored
  28c751c

  Copy full SHA for 28c751c

• 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

• test: lost assets can be incremented

  adhusson

  committed
  cb566bb

  Copy full SHA for cb566bb

Commits on Aug 17, 2024

• test: adapt verif to new timelock zero spec

  MathisGD

  committed
  ca9e6d5

  Copy full SHA for ca9e6d5

• Merge pull request #24 from morpho-org/test/adapt-verif

  Show description for 1be9c85
  MathisGD

  authored
  1be9c85

  Copy full SHA for 1be9c85

• Merge pull request #19 from morpho-org/feat/initial-timelock-can-be-zero

  Show description for f07d3a4
  MathisGD

  authored
  f07d3a4

  Copy full SHA for f07d3a4

• docs: document lostAsset rounding accrual

  MathisGD

  committed
  e54ab3a

  Copy full SHA for e54ab3a

Commits on Aug 18, 2024

• Merge pull request #5 from morpho-org/feat/no-share-price-decrease-2

  Show description for 6b6e140
  MathisGD

  authored
  6b6e140

  Copy full SHA for 6b6e140

• test: minor changes verif

  MathisGD

  committed
  d42180e

  Copy full SHA for d42180e

• docs: minor update

  MathisGD

  committed
  d97b5e1

  Copy full SHA for d97b5e1

• Merge remote-tracking branch 'private/feat/mutable-name-3' into feat/mutable-name-3

  MathisGD

  committed
  891624c

  Copy full SHA for 891624c

• Merge pull request #7 from morpho-org/feat/other-features

  Show description for 1a4aba1
  MathisGD

  authored
  1a4aba1

  Copy full SHA for 1a4aba1

• Merge pull request #26 from morpho-org/feat/no-share-price-decrease-2

  Show description for 1d13573
  MathisGD

  authored
  1d13573

  Copy full SHA for 1d13573

Commits on Aug 19, 2024

• Merge pull request #10 from morpho-org/feat/mutable-name-3

  Show description for 632dd01
  MathisGD

  authored
  632dd01

  Copy full SHA for 632dd01

• chore: update munging

  QGarchery

  committed
  fcd98e8

  Copy full SHA for fcd98e8

• Merge pull request #30 from morpho-org/certora/update-munging

  Show description for e22ecb3
  MathisGD

  authored
  e22ecb3

  Copy full SHA for e22ecb3

• refactor: only allow 0 timelock special value at deployment

  QGarchery

  committed
  da7bed8

  Copy full SHA for da7bed8

• refactor: change name min timelock

  QGarchery

  committed
  2472947

  Copy full SHA for 2472947

• test: refactor bound timelock

  QGarchery

  committed
  5644586

  Copy full SHA for 5644586

• docs: boundTimelock description

  QGarchery

  committed
  ffe47a4

  Copy full SHA for ffe47a4

• chore: remove solc_evm_version flag

  QGarchery

  committed
  b3592c1

  Copy full SHA for b3592c1

• test: bound initial timelock to test 0

  QGarchery

  committed
  2e359d4

  Copy full SHA for 2e359d4

• Merge pull request #31 from morpho-org/refactor/min-post-initialization-timelock

  Show description for 5f9fe07
  QGarchery

  authored
  5f9fe07

  Copy full SHA for 5f9fe07

• Merge pull request #33 from morpho-org/certora/default-evm-version

  Show description for bf008d6
  QGarchery

  authored
  bf008d6

  Copy full SHA for bf008d6

• fix: timelock proofs

  QGarchery

  committed
  aa4e787

  Copy full SHA for aa4e787

Commits on Aug 28, 2024

• fix: temporary use evm version paris

  QGarchery

  committed
  d12193a

  Copy full SHA for d12193a

• fix: use persistent ghost for sumBalances

  QGarchery

  committed
  e665e35

  Copy full SHA for e665e35

• refactor: isTimelockInRange equivalent

  QGarchery

  committed
  e3a94b4

  Copy full SHA for e3a94b4

• feat: improve isSmallerPendingTimelock invariant

  QGarchery

  committed
  a42db8b

  Copy full SHA for a42db8b

Commits on Aug 29, 2024

• refactor: use sequential query to avoid hanging

  QGarchery

  committed
  e958f9c

  Copy full SHA for e958f9c

• chore: run linter

  QGarchery

  committed
  009828c

  Copy full SHA for 009828c

Commits on Aug 30, 2024

• docs: document passing rules

  QGarchery

  committed
  195e77b

  Copy full SHA for 195e77b

• docs: improve assumption wording

  QGarchery

  committed
  45f69aa

  Copy full SHA for 45f69aa

• chore: deactivate lost asset link again

  QGarchery

  committed
  472e8de

  Copy full SHA for 472e8de

• Merge branch 'dev' into certora/fix-timelock-proofs

  Show description for a66236a
  QGarchery

  authored
  a66236a

  Copy full SHA for a66236a

Commits on Sep 1, 2024

• Merge pull request #34 from morpho-org/certora/fix-timelock-proofs

  Show description for d61d5e3
  MathisGD

  authored
  d61d5e3

  Copy full SHA for d61d5e3

Commits on Sep 3, 2024

• chore: rollback _checkTimelockBounds change

  MathisGD

  committed
  0e8ef82

  Copy full SHA for 0e8ef82

Commits on Sep 4, 2024

• refactor: rollback _accruedFeeAndAssets named return values

  MathisGD

  committed
  d907fd7

  Copy full SHA for d907fd7

• fix: use checkTimelockBounds in the constructor

  QGarchery

  committed
  72823aa

  Copy full SHA for 72823aa

• fix: set timelock in constructor

  QGarchery

  committed
  3e7e4f7

  Copy full SHA for 3e7e4f7

• Merge pull request #39 from morpho-org/chore/rollback-timelock-bounds-everywhere

  Show description for 385159e
  MathisGD

  authored
  385159e

  Copy full SHA for 385159e

• refactor: remove explicit return

  MathisGD

  committed
  744a1fe

  Copy full SHA for 744a1fe

Commits on Sep 5, 2024

• test: add missing tests

  MathisGD

  committed
  c66e943

  Copy full SHA for c66e943

• test: fix testCoverLostAssets

  MathisGD

  committed
  84d038d

  Copy full SHA for 84d038d

• Merge branch 'dev' into test/test-lost-asset-creation

  MathisGD

  committed
  9020281

  Copy full SHA for 9020281

Commits on Sep 6, 2024

• test: minor docs addition

  Show description for 37755ad
  MathisGD

  authored
  37755ad

  Copy full SHA for 37755ad

Commits on Sep 12, 2024

• docs: permit incompatiblity

  MathisGD

  committed
  e4a5933

  Copy full SHA for e4a5933

• docs: document new owner power

  MathisGD

  committed
  9f09cf1

  Copy full SHA for 9f09cf1

• docs: document change of behaviour of total assets

  MathisGD

  committed
  eab29f6

  Copy full SHA for eab29f6

Commits on Sep 13, 2024

• docs: minor improvement

  Show description for 70ed795
  

  MathisGD

  and

  QGarchery

  authored
  70ed795

  Copy full SHA for 70ed795

• docs: minor update

  Show description for b80917f
  

  MathisGD

  and

  QGarchery

  authored
  b80917f

  Copy full SHA for b80917f

Commits on Sep 16, 2024

• chore: add oz audit

  MathisGD

  committed
  b72768f

  Copy full SHA for b72768f

Commits on Sep 23, 2024

• Merge pull request #38 from morpho-org/feat/rollback-named-return-values

  Show description for 3af1187
  MathisGD

  authored
  3af1187

  Copy full SHA for 3af1187

• Merge pull request #42 from morpho-org/docs/permit

  Show description for 431d7c7
  MathisGD

  authored
  431d7c7

  Copy full SHA for 431d7c7

• Merge pull request #44 from morpho-org/docs/totalassets

  Show description for 0efd197
  MathisGD

  authored
  0efd197

  Copy full SHA for 0efd197

• Merge pull request #43 from morpho-org/docs/owner-set-name

  Show description for c762945
  MathisGD

  authored
  c762945

  Copy full SHA for c762945

• Merge pull request #23 from morpho-org/test/test-lost-asset-creation

  Show description for d7821ee
  MathisGD

  authored
  d7821ee

  Copy full SHA for d7821ee

• Merge pull request #46 from morpho-org/chore/audits

  Show description for 31a3c61
  MathisGD

  authored
  31a3c61

  Copy full SHA for 31a3c61

Commits on Sep 24, 2024

• Merge pull request #37 from morpho-org/chore/rollback-checkTimelockBounds

  MathisGD

  authored
  9fa1527

  Copy full SHA for 9fa1527

• chore: add cantina managed audit

  MathisGD

  committed
  168d0e0

  Copy full SHA for 168d0e0

• Merge pull request #48 from morpho-org/chore/audits

  Show description for f7f742c
  MathisGD

  authored
  f7f742c

  Copy full SHA for f7f742c

• test: fix testSetSymbolNotOwner test

  Show description for 55bf455
  

  MathisGD

  and

  QGarchery

  authored
  55bf455

  Copy full SHA for 55bf455

• docs: readme micro fix

  Show description for 047c802
  MathisGD

  authored
  047c802

  Copy full SHA for 047c802

• chore: minor update in hardhat.config.ts

  Show description for 79060e6
  MathisGD

  authored
  79060e6

  Copy full SHA for 79060e6