Skip to content

Pull requests: morpho-org/midnight

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

ux: withdraw return pending fee decrease
#974 opened Jun 3, 2026 by adhusson Contributor Loading…
log more
#973 opened Jun 3, 2026 by adhusson Contributor Draft
[Certora] Reentrancy and View Reentrancy Specification
#972 opened Jun 3, 2026 by jhoenicke Collaborator Loading…
gate check last
#971 opened Jun 3, 2026 by adhusson Contributor Loading…
[Certora] update position missing rules verif-review
#970 opened Jun 2, 2026 by QGarchery Collaborator Loading…
test: add max normal-mode liquidation Certora proof
#969 opened Jun 2, 2026 by prd-carapulse Bot Loading…
6 tasks done
fix: enforce non-decreasing settlement fees
#968 opened Jun 2, 2026 by prd-carapulse Bot Loading…
[certora] Post Maturity Debt check
#967 opened Jun 2, 2026 by lilCertora Collaborator Loading…
fix: emit ecrecover authorizer signer
#966 opened Jun 2, 2026 by prd-carapulse Bot Loading…
docs: MidnightBundles (Stermi no. 14)
#965 opened Jun 2, 2026 by MathisGD Contributor Loading…
Stermi natspecs (no. 3)
#963 opened Jun 2, 2026 by MathisGD Contributor Loading…
test: events & TickSpacingSetter (2)
#924 opened May 26, 2026 by adhusson Contributor Loading…
[Certora] wExp increasing
#917 opened May 24, 2026 by QGarchery Collaborator Draft
[Certora] lib/bundler assets/debts reachability
#916 opened May 22, 2026 by lilCertora Collaborator Loading…
[Certora] no debt without collateral improvement verif-review
#891 opened May 19, 2026 by lilCertora Collaborator Loading…
PoC rate ratifier
#841 opened May 11, 2026 by QGarchery Collaborator Draft
[Certora] liquidation liveness
#834 opened May 11, 2026 by lilCertora Collaborator Draft
[Certora] OfferTree Soundness verif-review
#816 opened May 7, 2026 by bhargavbh Contributor Loading…
[Certora] continuous fee conserved
#684 opened Apr 13, 2026 by bhargavbh Contributor Draft
[Certora] rcf
#609 opened Mar 30, 2026 by bhargavbh Contributor Draft
POC Borrow and lend callbacks
#552 opened Mar 23, 2026 by peyha Contributor Loading…
[Certora] Split Properties verif-review
#542 opened Mar 19, 2026 by lilCertora Collaborator Loading…
[Certora] Spec for balance and lossIndex
#534 opened Mar 18, 2026 by jhoenicke Collaborator Draft
ProTip! Adding no:label will show everything without a label.