Certora Formal Verification - #1283

Merged

akshatmittal merged 9 commits into

Feb 27, 2026

Commits on Feb 18, 2026

Certora WIP
akshatmittal
committed
7a2ca79

Commits on Feb 19, 2026

Fix M-01
akshatmittal
committed
41136fd

Commits on Feb 26, 2026

.mul() protocol changes
tbrent
committed
66f26b9
FixLib tests
tbrent
committed
3a8f46d

Commits on Feb 27, 2026

Facade .mul() changes
tbrent
committed
2ba0bbb
Recollateralization.test.ts
tbrent
committed
c0696f5
Recollateralization.test.ts
tbrent
committed
2419f35
IssuancePremium.test.ts
tbrent
committed
cefc427
lint clean
tbrent
committed
79fe874