Issues 共 29
Hashlock Intro
#770 · Fletcher-Hashlock · 2026-04-24
the linter fails because i cast a Uint256 into Uint128. Halmos only has the symbolic version for [Uint256](https://github.com/a16z/halmos-cheatcodes/blob/main/src/SVM.sol) but not Uint128. Hence i cast it to Uint128. For a halmos test, this is perfectly reasonable and sound since i am casting down and all the symbolic values of Uint128 are covered. Is there a better way around? @QGarchery
#762 · indragunawan98 · 2026-03-03
Getting all markets list on-chain
#740 · EugeneButusov · 2025-11-12
082148326163
#737 · Raden012 · 2025-10-05
[Information Needed] Please provide more details for new issue
#736 · Ucg2c3 · 2025-10-02
"Liquidity" shown in web interface (both new and old) is wrong
#724 · u59149403 · 2025-03-04
misleading wording in docs
#711 · MathisGD · 2024-12-17
Re-verify on etherscan after #702
#703 · MathisGD · 2024-11-06
[Certora] `harness` directory name
#701 · colin-morpho · 2024-10-28
Improve MorphoHarness and create a Util file
#699 · QGarchery · 2024-10-25