Skip to content

miri: we can use apfloat's mul_add now#142340

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:miri-apfloat-mul-add
Jun 13, 2025
Merged

miri: we can use apfloat's mul_add now#142340
bors merged 2 commits intorust-lang:masterfrom
RalfJung:miri-apfloat-mul-add

Commits

Commits on Jun 11, 2025