Cantina Competition Fixes

What's Changed

• Certora format by @QGarchery in #288
• [Certora] Added borrow less supply invariant by @jhoenicke in #294
• [Certora] Add CI by @QGarchery in #298
• [Certora] Only enabled lltv/irm by @QGarchery in #290
• [Certora] Liquidity by @QGarchery in #304
• [Certora] Update CI by @QGarchery in #315
• [Certora] Exit liquidity by @QGarchery in #316
• [Certora] Reentrancy specification. by @jhoenicke in #325
• [Certora] Dispatch tokens and verify safe transfer lib by @QGarchery in #321
• [Certora] Move CI to certora-cli-beta by @QGarchery in #339
• [Certora] Check supply followed by withdraw is not profitable by @jhoenicke in #345
• [Certora] Specification for stayHealthy by @jhoenicke in #344
• [Certora] More thorough verification by @QGarchery in #346
• [Certora] Cannot lose position & can withdraw all by @jhoenicke in #348
• [Certora] Fixup of last pull-request: remove doubled line by @jhoenicke in #352
• [Certora] Check that supply share ratio increases and borrow share ratio decreases by @jhoenicke in #353
• [Certora] Revert conditions and input validation by @QGarchery in #358
• [Certora] New spec for checking commutativity of accrueInterests by @jhoenicke in #427
• [Certora] Set proverargs hashingScheme to plaininjectivity by @jhoenicke in #442
• [Certora] Check underflow change by @QGarchery in #447
• [Certora] Updated dev with all checks enabled by @QGarchery in #373
• [Certora] Munging by @QGarchery in #450
• [Certora] Liveness by @QGarchery in #451
• [Certora] remove extSloads munging by @QGarchery in #458
• [Certora] Cleaning, renaming & document rules by @QGarchery in #461
• [Certora] Add README by @QGarchery in #465
• [Certora] Complete liveness by @QGarchery in #467
• [Certora] Improve require documentation by @QGarchery in #468
• [Certora] Remove unnecessary require in stayHealthy by @QGarchery in #469
• [Certora] Review fixes by @QGarchery in #471
• [Certora] Improve scripts by @QGarchery in #472
• [Certora] fix timeout on ExactMath by @QGarchery in #473
• [Certora] Check id summary by @QGarchery in #491
• [Certora] Verify that it's always possible to repay all by @QGarchery in #492
• [Certora] Remove munging by @QGarchery in #494
• [Certora] Script performance by @QGarchery in #505
• [Certora] Documentation by @QGarchery in #538
• [Certora] Use configuration files by @QGarchery in #545
• [Certora] Update to v5 of the prover by @QGarchery in #600
• [Certora] Add basic sanity checks by @QGarchery in #599
• [Certora] mutant 2 by @QGarchery in #617
• [Certora] mutant 13 by @QGarchery in #606
• [Certora] mutant 6 by @QGarchery in #613
• [Certora] mutant 10 by @QGarchery in #609
• [Certora] mutant 3 by @QGarchery in #616
• Add liquidate margin test by @QGarchery in #598
• [Certora] mutant 12 by @QGarchery in #607
• [Certora] Mutations by @QGarchery in #564
• [Certora] Fix suggestions by @QGarchery in #620
• [Certora] Liquidate liveness by @QGarchery in #621
• [Certora] Refactor ExactMath by @QGarchery in #619
• [Certora] Dev by @QGarchery in #136
• docs(ifc): fix comments by @Rubilmax in #627
• [Certora] Supply ratio for liquidate by @QGarchery in #622
• [Certora] Assets accounting when entering a position by @QGarchery in #623
• fix(safe-transfer-lib): check for code by @Rubilmax in #629
• Update post-cantina by @Rubilmax in #636
• docs(ifc): add edge case by @Rubilmax in #632
• no memory vars by @adhusson in #641
• Log bad debt assets by @MerlinEgalite in #637
• Add call to irm at market creation by @Jean-Grimal in #634
• Document virtual borrow assets behavior by @Rubilmax in #639
• various fixes by @MathisGD in #630
• fix liquidation rounding by @MathisGD in #638
• feat(irm): skip address(0) by @Rubilmax in #640
• fix(foundry.toml): decrease optimization runs by @Rubilmax in #645
• refactor(liquidate): rename intermediary var by @Rubilmax in #644
• fix(test): remove outdated tech by @Rubilmax in #649
• Fix: borrow, withdraw and withdrawCollateral natspec by @Jean-Grimal in #651
• test(irm): dont fuzz irm by @Rubilmax in #655
• Rounding liquidate fix by @QGarchery in #653
• Certora README small fix by @QGarchery in #657
• fix(authorization): revert already set error by @Rubilmax in #652
• post-cantina by @QGarchery in #633

New Contributors

• @jhoenicke made their first contribution in #294
• @adhusson made their first contribution in #641

Full Changelog: v1.0.0-beta...v1.0.0

Cantina Competition Code

What's Changed

• Remove bad debt gas saving comment by @MathisGD in #584
• docs: document reset share price jump by @MathisGD in #593
• Add cantina managed draft report by @MerlinEgalite in #594

Full Changelog: v1.0.0-alpha...v1.0.0-beta

Spearbit review fixes

What's Changed

• First working version by @MathisGD in #1
• Multiple markets by @MathisGD in #2
• Liquidations by @QGarchery in #4
• Fix safeTransfer by @MathisGD in #25
• Files renaming by @MathisGD in #20
• Use pure function for to get the id of a market by @MerlinEgalite in #32
• Pin hh version by @MerlinEgalite in #35
• ALPHA by @MerlinEgalite in #56
• Perf small gas opti by @MerlinEgalite in #31
• Simplify isHealthy by @QGarchery in #58
• Remove accrue interest supplycollat by @MerlinEgalite in #52
• Add formatting on pre commit by @MerlinEgalite in #68
• Add owner by @MerlinEgalite in #43
• CI update by @MathisGD in #74
• Add IRM whitelist by @MerlinEgalite in #59
• Enable lLTV by @MerlinEgalite in #73
• Estimate gas cost of liquidations by @QGarchery in #7
• Style uint -> uint256 by @MerlinEgalite in #95
• Accrue interests checks borrow is non zero by @QGarchery in #91
• Dev by @QGarchery in #5
• Fix realize bad debt not reducing borrow by @QGarchery in #102
• refactor(shares): extract shares math to lib by @Rubilmax in #94
• Hardhat CI by @QGarchery in #118
• Supply/Repay on behalf by @MerlinEgalite in #106
• Feat/fee by @pakim249CAL in #116
• Add account approval by @MerlinEgalite in #108
• Fix fee tests by @MathisGD in #141
• Fix compilation by @MerlinEgalite in #134
• test(hardhat): bump dependencies by @Rubilmax in #146
• fix(repay/withdraw): edge case by @Rubilmax in #149
• refactor(errors): extract errors to libraries by @Rubilmax in #126
• ci(hardhat): change code by @Rubilmax in #151
• Refactor: shares management by @Rubilmax in #109
• Refactor: internal functions by @Rubilmax in #154
• perf(oracle): store price onto stack by @Rubilmax in #113
• Add fee cap by @MerlinEgalite in #161
• put market in memory instead of calldata by @MerlinEgalite in #152
• feat(extsload): expose generic storage getter by @Rubilmax in #147
• refactor(callbacks): split callbacks by @makcandrov in #167
• feat: cap max fee to 25% by @PaulFrambot in #186
• refactor(test): use market-lib 2 by @MerlinEgalite in #189
• Update to solc 0.8.21 by @MerlinEgalite in #187
• refactor(test): use market-lib by @Rubilmax in #170
• refactor(wad): remove wad constant declaration by @Rubilmax in #176
• feat(flash-loan): add flash loan by @Rubilmax in #168
• Fix tests of feat/receiver by @MathisGD in #193
• Add callbacks by @makcandrov in #121
• Refactor: transferOwnership -> setOwner by @MerlinEgalite in #196
• fixes after review #121 (authorization with signature) by @MathisGD in #192
• test(forge): merge receiver tests by @Rubilmax in #200
• Add receiver by @MerlinEgalite in #191
• Skip interest accrual if already accrued in the same block by @makcandrov in #182
• test(hardhat): skip mining sometimes by @Rubilmax in #198
• Add authorization with signature by @MerlinEgalite in #114
• Put market in IBlue.sol by @MathisGD in #211
• refactor: remove interfaces from Market by @MathisGD in #213
• address(0) alternative 2 by @MerlinEgalite in #204
• Remove flashloan receiver by @MathisGD in #207
• Fix shares naming discrepancy by @MathisGD in #212
• refactor(blue): add interface by @Rubilmax in #180
• feat(events): add events by @Rubilmax in #107
• refactor: make createMarket more straightforward by @makcandrov in #216
• feat(shares-math): add util to get shares from amount by @Rubilmax in #221
• repay/withdraw shares input by @MathisGD in #194
• Good formatting by @MerlinEgalite in #224
• refactor: move events by @pakim249CAL in #220
• refactor: homogenize IBlue with Blue naming by @julien-devatom in #234
• test: prevent receiver = BORROWER by @MathisGD in #237
• refactor: setAuthorization => setAuthorizationWithSig by @julien-devatom in #235
• feat: improve continuous integration setup by @julien-devatom in #240
• fix(set-fee): accrue interests before changing fee by @Rubilmax in #243
• refactor(blue): use single oracle by @Rubilmax in #202
• feat: compound interest by @pakim249CAL in #222
• Amount and shares as input by @MathisGD in #248
• refactor: move events back to lib by @pakim249CAL in #263
• Various changes in libs by @MathisGD in #241
• List tests in BTT format by @makcandrov in #174
• refactor(imports): don't use absolute imports by @Rubilmax in #267
• Harmonize callbacks interfaces (250) by @MathisGD in #250
• Add Natspecs by @MerlinEgalite in #238
• Return amount and shares by @makcandrov in #272
• Rename Blue to Morpho by @MerlinEgalite in #270
• chore: reduce the number of fuzz CI by @MathisGD in #276
• ci(formatting): don't checkout submodules by @Rubilmax in #275
• feat: continuous compounding by @pakim249CAL in #254
• Refactor amount -> assets by @MerlinEgalite in #277
• Add warning on repay/withdraw by @MerlinEgalite in #279
• New liquidation incentive by @MathisGD in #265
• feat(interests): make accrueInterests public by @Rubilmax in #183
• Tiny doc fixes by @MerlinEgalite in #285
• Refactor setAuthorizationWithSig and add warning message by @MathisGD in #284
• chore: explicit imports by @pakim249CAL in #287
• Fixed oracle price scale by @MathisGD in #252
• Custom libs by @MerlinEgalite in #280
• fix: nonce check by @MathisGD in #289
• Add return values liquidate by @MerlinEgalite in #295
• fix: update the tree by @makcandrov in #292
• Add idToMarket getter by @MerlinEgalite in #278
• Fix accrue interests shares fee computation by @QGarchery in https://github.com/morpho-...