Search results

Features

Status: Open.

#1111 In morpho-org/midnight;

· sin-strokes opened on Aug 2, 2026

onBuy reverts when buyerAssets == 0 for tokens that do not allows zero amount approval

Status: Open.

#1110 In morpho-org/midnight;

· StErMi opened on Aug 2, 2026

BlueBuyCallback natspec improvements

Status: Open.

#1109 In morpho-org/midnight;

· StErMi opened on Aug 2, 2026

[Certora] Revamp of MulDiv

Status: Open.

#1105 In morpho-org/midnight;

· QGarchery opened on Jul 31, 2026

borrowRate and borrowRateView divergence

Status: Open.

#1101 In morpho-org/midnight;

· Saw-mon-and-Natalie opened on Jul 30, 2026

[Certora] blue buy callback wishlist

Status: Open.

#1100 In morpho-org/midnight;

· MathisGD opened on Jul 30, 2026

[verif] rocq proof maxRepaid overestimation

Status: Open.

#1031 In morpho-org/midnight;

· MathisGD opened on Jun 25, 2026

[Certora] verif wish list

Status: Open.

#109 In morpho-org/midnight;

· MathisGD opened on Sep 26, 2025