Skip to content

fix: decimals-aware market-core with 256-bit mul_div intermediates - #164

Open
Emmazlee wants to merge 16 commits into
OracleDesk:developfrom
Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2
Open

fix: decimals-aware market-core with 256-bit mul_div intermediates#164
Emmazlee wants to merge 16 commits into
OracleDesk:developfrom
Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

fix(ci): resolve failing checks for #164

2eeed93
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
TLC model check
succeeded Oct 29, 2026 in 18s