Skip to content

Pull requests: morpho-org/midnight

New pull request New
20 Open 790 Closed
20 Open 790 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

fix(certora): cheapen CreatedMarkets max LIF invariant
#1002 opened Jun 21, 2026 by prd-carapulse Bot Loading…
4 tasks done
@MathisGD
[Certora] Prove that take has no new reverts due to continuous fees
#998 opened Jun 17, 2026 by jhoenicke Collaborator Loading…
[Certora] Add rule UpdatePositionViewDoesNotRevert verif-review
#997 opened Jun 17, 2026 by jhoenicke Collaborator Loading…
@jhoenicke
2
modular lltvs
#993 opened Jun 16, 2026 by MathisGD Collaborator Loading…
@MathisGD
5
modular lif
#992 opened Jun 16, 2026 by MathisGD Collaborator • Draft
@MathisGD
2
[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
29
Enhance EcrecoverAuthorizer documentation
#987 opened Jun 15, 2026 by MathisGD Collaborator Loading…
@MathisGD
2
proof that liquidating with maxRepaid is enough to make the account healthy
#983 opened Jun 5, 2026 by QGarchery Collaborator Loading…
@QGarchery
3
fix: extend liquidation auction duration
#978 opened Jun 4, 2026 by prd-carapulse Bot Loading…
@peyha
3
round up collat value in rcf check
#976 opened Jun 4, 2026 by adhusson Contributor Loading…
ux: withdraw return pending fee decrease
#974 opened Jun 3, 2026 by adhusson Contributor Loading…
4
log more
#973 opened Jun 3, 2026 by adhusson Contributor • Draft
fix: emit ecrecover authorizer signer
#966 opened Jun 2, 2026 by prd-carapulse Bot Loading…
@adhusson
3
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
11
[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.