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