File tree
6 files changed
+59
-17
lines changed- lib
- src
- interfaces
- test
6 files changed
+59
-17
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
Lines changed: 18 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
15 |
| - | |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
22 |
| - | |
| 23 | + | |
23 | 24 |
| |
24 |
| - | |
25 |
| - | |
| 25 | + | |
| 26 | + | |
26 | 27 |
| |
27 |
| - | |
| 28 | + | |
| 29 | + | |
28 | 30 |
| |
29 |
| - | |
| 31 | + | |
| 32 | + | |
30 | 33 |
| |
31 |
| - | |
| 34 | + | |
| 35 | + | |
32 | 36 |
| |
33 |
| - | |
| 37 | + | |
| 38 | + | |
34 | 39 |
| |
35 |
| - | |
| 40 | + | |
| 41 | + | |
36 | 42 |
| |
37 | 43 |
| |
38 | 44 |
| |
| |||
50 | 56 |
| |
51 | 57 |
| |
52 | 58 |
| |
53 |
| - | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
54 | 62 |
| |
55 | 63 |
| |
56 | 64 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
|
Lines changed: 33 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
| 60 | + | |
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
| |||
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
101 |
| - | |
102 |
| - | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
103 | 104 |
| |
104 | 105 |
| |
105 | 106 |
| |
|
0 commit comments