1 file changed
+1
-1
lines changedSubmodule morpho-blue updated 63 files
- .github/workflows/certora.yml+51
- .github/workflows/foundry.yml+1-1
- .gitignore+4
- README.md+1-1
- certora/LICENSE+389
- certora/README.md+287
- certora/confs/AccrueInterest.conf+14
- certora/confs/AssetsAccounting.conf+9
- certora/confs/ConsistentState.conf+9
- certora/confs/ExactMath.conf+13
- certora/confs/Health.conf+13
- certora/confs/LibSummary.conf+9
- certora/confs/Liveness.conf+9
- certora/confs/RatioMath.conf+14
- certora/confs/Reentrancy.conf+12
- certora/confs/Reverts.conf+9
- certora/confs/Transfer.conf+12
- certora/dispatch/ERC20NoRevert.sol+48
- certora/dispatch/ERC20Standard.sol+42
- certora/dispatch/ERC20USDT.sol+45
- certora/gambit.conf+6
- certora/harness/MorphoHarness.sol+92
- certora/harness/MorphoInternalAccess.sol+17
- certora/harness/TransferHarness.sol+35
- certora/specs/AccrueInterest.spec+138
- certora/specs/AssetsAccounting.spec+126
- certora/specs/ConsistentState.spec+294
- certora/specs/ExactMath.spec+123
- certora/specs/Health.spec+108
- certora/specs/LibSummary.spec+26
- certora/specs/Liveness.spec+386
- certora/specs/RatioMath.spec+184
- certora/specs/Reentrancy.spec+61
- certora/specs/Reverts.spec+179
- certora/specs/Transfer.spec+82
- foundry.toml+1-1
- lib/forge-std+1-1
- src/Morpho.sol+48-34
- src/interfaces/IIrm.sol+3-2
- src/interfaces/IMorpho.sol+17-14
- src/libraries/ErrorsLib.sol+3
- src/libraries/EventsLib.sol+10-7
- src/libraries/SafeTransferLib.sol+4-3
- src/libraries/SharesMathLib.sol+3
- src/libraries/UtilsLib.sol+1-1
- src/libraries/periphery/MorphoBalancesLib.sol+6-7
- test/forge/BaseTest.sol+9-7
- test/forge/helpers/SigUtils.sol+1-1
- test/forge/integration/AccrueInterestIntegrationTest.sol+12
- test/forge/integration/AuthorizationIntegrationTest.sol+17-1
- test/forge/integration/BorrowIntegrationTest.sol+3-3
- test/forge/integration/CallbacksIntegrationTest.sol+5
- test/forge/integration/CreateMarketIntegrationTest.sol+22-20
- test/forge/integration/LiquidateIntegrationTest.sol+66-4
- test/forge/integration/OnlyOwnerIntegrationTest.sol+3-2
- test/forge/integration/SupplyCollateralIntegrationTest.sol+12
- test/forge/integration/SupplyIntegrationTest.sol+12
- test/forge/integration/WithdrawCollateralIntegrationTest.sol+1-1
- test/forge/invariant/MorphoInvariantTest.sol+5-3
- test/forge/libraries/SafeTransferLibTest.sol+14
- test/hardhat/Morpho.spec.ts+31-1
- test/morpho_tests.tree-288
- tsconfig.json+1-1
0 commit comments