Skip to content

Pull requests: morpho-org/midnight

Pull request creation is restricted
18 Open 811 Closed
18 Open 811 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

[do not merge] SQL checks for log-more
#1022 opened Jun 24, 2026 by adhusson Contributor • Draft
[do not merge] SQL check for main
#1021 opened Jun 24, 2026 by adhusson Contributor • Draft
[Certora] bound global collateral params length
#1020 opened Jun 24, 2026 by QGarchery Collaborator • Draft
1
@QGarchery
nit: re-order functions
#1018 opened Jun 24, 2026 by MathisGD Collaborator Loading…
@MathisGD
2
[Certora] liquidation liveness refactor
#1017 opened Jun 23, 2026 by jhoenicke Collaborator Loading…
@jhoenicke
8
[Certora] No subtraction underflow (WIP)
#1014 opened Jun 23, 2026 by QGarchery Collaborator • Draft
@QGarchery
[Certora] Prove that take has no new reverts due to continuous fees
#998 opened Jun 17, 2026 by jhoenicke Collaborator Loading…
modular lif
#992 opened Jun 16, 2026 by MathisGD Collaborator Loading…
@MathisGD
36
[Certora] settlement fee spread assumption verif-review
#989 opened Jun 15, 2026 by QGarchery Collaborator Loading…
1
@QGarchery
9
[Certora] Net credit after pending fee stays constant verif-review
#988 opened Jun 15, 2026 by jhoenicke Collaborator Loading…
@jhoenicke
30
proof that liquidating with maxRepaid is enough to make the account healthy
#983 opened Jun 5, 2026 by QGarchery Collaborator Loading…
@QGarchery
14
log more
#973 opened Jun 3, 2026 by adhusson Contributor Loading…
@adhusson
20
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 Loading…
@lilCertora
14
[Certora] OfferTree Soundness verif-review
#816 opened May 7, 2026 by bhargavbh Contributor Loading…
@bhargavbh
18
[Certora] continuous fee conserved
#684 opened Apr 13, 2026 by bhargavbh Contributor • Draft
[Certora] rcf
#609 opened Mar 30, 2026 by bhargavbh Contributor • Draft
[Certora] Spec for balance and lossIndex
#534 opened Mar 18, 2026 by jhoenicke Collaborator • Draft
ProTip! no:milestone will show everything without a milestone.