Skip to content

Pull requests: morpho-org/midnight

New pull request New
26 Open 757 Closed
26 Open 757 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

PoC: flashLoan non-standard ERC20 asset loss (Medium)
#975 opened Jun 3, 2026 by yuzengbaao Loading…
3
ux: withdraw return pending fee decrease
#974 opened Jun 3, 2026 by adhusson Contributor Loading…
3
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…
@jhoenicke
2
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…
@QGarchery
5
test: add max normal-mode liquidation Certora proof
#969 opened Jun 2, 2026 by prd-carapulse Bot Loading…
6 tasks done
@MathisGD
3
fix: enforce non-decreasing settlement fees
#968 opened Jun 2, 2026 by prd-carapulse Bot Loading…
@MathisGD
2
[certora] Post Maturity Debt check
#967 opened Jun 2, 2026 by lilCertora Collaborator Loading…
3
fix: emit ecrecover authorizer signer
#966 opened Jun 2, 2026 by prd-carapulse Bot Loading…
@adhusson
2
docs: MidnightBundles (Stermi no. 14)
#965 opened Jun 2, 2026 by MathisGD Contributor Loading…
@MathisGD
10
Stermi natspecs (no. 3)
#963 opened Jun 2, 2026 by MathisGD Contributor Loading…
@MathisGD
7
test: events & TickSpacingSetter (2)
#924 opened May 26, 2026 by adhusson Contributor Loading…
3
[Certora] wExp increasing
#917 opened May 24, 2026 by QGarchery Collaborator • Draft
@QGarchery
[Certora] lib/bundler assets/debts reachability
#916 opened May 22, 2026 by lilCertora Collaborator Loading…
@lilCertora
20
[Certora] no debt without collateral improvement verif-review
#891 opened May 19, 2026 by lilCertora Collaborator Loading…
@lilCertora
36
PoC rate ratifier
#841 opened May 11, 2026 by QGarchery Collaborator • Draft
@QGarchery
16
[Certora] liquidation liveness
#834 opened May 11, 2026 by lilCertora Collaborator • Draft
@lilCertora
[Certora] OfferTree Soundness verif-review
#816 opened May 7, 2026 by bhargavbh Contributor Loading…
@bhargavbh
6
[Certora] continuous fee conserved
#684 opened Apr 13, 2026 by bhargavbh Contributor • Draft
[Certora] Check strong invariant isHealthy || liquidationLocked verif-review
#679 opened Apr 8, 2026 by jhoenicke Collaborator Loading…
1
@jhoenicke
34
[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…
@peyha
21
[Certora] Split Properties verif-review
#542 opened Mar 19, 2026 by lilCertora Collaborator Loading…
@lilCertora
111
[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.