Skip to content

Pull requests: morpho-org/midnight

Pull request creation is restricted
20 Open 830 Closed
20 Open 830 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

collat activation revert on reverting oracle
#1048 opened Jun 30, 2026 by MathisGD Collaborator Loading…
@MathisGD
12
explain multi maker tree effect on cancel
#1047 opened Jun 30, 2026 by adhusson Contributor Loading…
@adhusson
7
uint128 offer caps and consumed
#1046 opened Jun 30, 2026 by adhusson Contributor Loading…
@adhusson
3
[rocq] liquidation doesn't create bad debt
#1040 opened Jun 29, 2026 by MathisGD Collaborator Loading…
@MathisGD
4
[rocq] max repaid error
#1033 opened Jun 25, 2026 by adhusson Contributor Loading…
3
[certora] try fix loss factor
#1027 opened Jun 24, 2026 by lilCertora Collaborator • Draft
[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 verif-review
#1020 opened Jun 24, 2026 by QGarchery Collaborator Loading…
1
@QGarchery
[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…
[Certora] settlement fee spread assumption verif-review
#989 opened Jun 15, 2026 by QGarchery Collaborator Loading…
1
@QGarchery
14
[Certora] Net credit after pending fee stays constant verif-review
#988 opened Jun 15, 2026 by jhoenicke Collaborator Loading…
@jhoenicke
30
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! Type g i on any issue or pull request to go back to the issue listing page.