Skip to content

Commit

Permalink
Merge pull request #56 from morpho-org/chore/update-mb
Browse files Browse the repository at this point in the history 
Update Morpho Blue
  • Loading branch information
@MerlinEgalite
MerlinEgalite authored Dec 26, 2023
2 parents 02eb45f + a390f33 commit 0c6815f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/morpho-blue
Submodule morpho-blue updated 63 files
+51 −0 .github/workflows/certora.yml
+1 −1 .github/workflows/foundry.yml
+4 −0 .gitignore
+1 −1 README.md
+389 −0 certora/LICENSE
+287 −0 certora/README.md
+14 −0 certora/confs/AccrueInterest.conf
+9 −0 certora/confs/AssetsAccounting.conf
+9 −0 certora/confs/ConsistentState.conf
+13 −0 certora/confs/ExactMath.conf
+13 −0 certora/confs/Health.conf
+9 −0 certora/confs/LibSummary.conf
+9 −0 certora/confs/Liveness.conf
+14 −0 certora/confs/RatioMath.conf
+12 −0 certora/confs/Reentrancy.conf
+9 −0 certora/confs/Reverts.conf
+12 −0 certora/confs/Transfer.conf
+48 −0 certora/dispatch/ERC20NoRevert.sol
+42 −0 certora/dispatch/ERC20Standard.sol
+45 −0 certora/dispatch/ERC20USDT.sol
+6 −0 certora/gambit.conf
+92 −0 certora/harness/MorphoHarness.sol
+17 −0 certora/harness/MorphoInternalAccess.sol
+35 −0 certora/harness/TransferHarness.sol
+138 −0 certora/specs/AccrueInterest.spec
+126 −0 certora/specs/AssetsAccounting.spec
+294 −0 certora/specs/ConsistentState.spec
+123 −0 certora/specs/ExactMath.spec
+108 −0 certora/specs/Health.spec
+26 −0 certora/specs/LibSummary.spec
+386 −0 certora/specs/Liveness.spec
+184 −0 certora/specs/RatioMath.spec
+61 −0 certora/specs/Reentrancy.spec
+179 −0 certora/specs/Reverts.spec
+82 −0 certora/specs/Transfer.spec
+1 −1 foundry.toml
+1 −1 lib/forge-std
+48 −34 src/Morpho.sol
+3 −2 src/interfaces/IIrm.sol
+17 −14 src/interfaces/IMorpho.sol
+3 −0 src/libraries/ErrorsLib.sol
+10 −7 src/libraries/EventsLib.sol
+4 −3 src/libraries/SafeTransferLib.sol
+3 −0 src/libraries/SharesMathLib.sol
+1 −1 src/libraries/UtilsLib.sol
+6 −7 src/libraries/periphery/MorphoBalancesLib.sol
+9 −7 test/forge/BaseTest.sol
+1 −1 test/forge/helpers/SigUtils.sol
+12 −0 test/forge/integration/AccrueInterestIntegrationTest.sol
+17 −1 test/forge/integration/AuthorizationIntegrationTest.sol
+3 −3 test/forge/integration/BorrowIntegrationTest.sol
+5 −0 test/forge/integration/CallbacksIntegrationTest.sol
+22 −20 test/forge/integration/CreateMarketIntegrationTest.sol
+66 −4 test/forge/integration/LiquidateIntegrationTest.sol
+3 −2 test/forge/integration/OnlyOwnerIntegrationTest.sol
+12 −0 test/forge/integration/SupplyCollateralIntegrationTest.sol
+12 −0 test/forge/integration/SupplyIntegrationTest.sol
+1 −1 test/forge/integration/WithdrawCollateralIntegrationTest.sol
+5 −3 test/forge/invariant/MorphoInvariantTest.sol
+14 −0 test/forge/libraries/SafeTransferLibTest.sol
+31 −1 test/hardhat/Morpho.spec.ts
+0 −288 test/morpho_tests.tree
+1 −1 tsconfig.json

0 comments on commit 0c6815f

Please sign in to comment.