Skip to content

Commit

Permalink
chore: update morpho-blue
Browse files Browse the repository at this point in the history
  • Loading branch information
@QGarchery
QGarchery committed Oct 29, 2024
1 parent 764d284 commit 99685a8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/morpho-blue
Submodule morpho-blue updated 44 files
+7 −4 .github/workflows/certora.yml
+31 −0 .github/workflows/halmos.yml
+3 −1 .github/workflows/npm-release.yml
+3 −0 .gitmodules
+ − audits/2023-11-13-morpho-blue-cantina-managed-review.pdf
+0 −35,522 audits/2024-01-05-morpho-blue-cantina-competition.md
+ − audits/2024-01-05-morpho-blue-cantina-competition.pdf
+12 −11 certora/README.md
+14 −12 certora/confs/AccrueInterest.conf
+9 −7 certora/confs/AssetsAccounting.conf
+9 −7 certora/confs/ConsistentState.conf
+17 −11 certora/confs/ExactMath.conf
+15 −0 certora/confs/ExchangeRate.conf
+13 −11 certora/confs/Health.conf
+12 −7 certora/confs/LibSummary.conf
+9 −7 certora/confs/Liveness.conf
+0 −14 certora/confs/RatioMath.conf
+11 −10 certora/confs/Reentrancy.conf
+9 −7 certora/confs/Reverts.conf
+15 −0 certora/confs/StayHealthy.conf
+11 −10 certora/confs/Transfer.conf
+8 −20 certora/harness/MorphoHarness.sol
+39 −0 certora/harness/Util.sol
+1 −1 certora/specs/AccrueInterest.spec
+31 −23 certora/specs/AssetsAccounting.spec
+42 −49 certora/specs/ConsistentState.spec
+13 −10 certora/specs/ExactMath.spec
+51 −21 certora/specs/ExchangeRate.spec
+40 −40 certora/specs/Health.spec
+18 −9 certora/specs/LibSummary.spec
+17 −14 certora/specs/Liveness.spec
+5 −5 certora/specs/Reentrancy.spec
+13 −10 certora/specs/Reverts.spec
+118 −0 certora/specs/StayHealthy.spec
+1 −1 certora/specs/Transfer.spec
+1 −0 foundry.toml
+1 −0 lib/halmos-cheatcodes
+ − morpho-blue-whitepaper.pdf
+2 −1 package.json
+1 −1 src/interfaces/IMorpho.sol
+6 −11 test/forge/BaseTest.sol
+9 −6 test/forge/invariant/MorphoInvariantTest.sol
+197 −0 test/halmos/HalmosTest.sol
+32 −14 yarn.lock

0 comments on commit 99685a8

Please sign in to comment.