Skip to content

f*::min/max: fix comparing with libm and IEEE operations#149563

Merged
bors merged 1 commit intorust-lang:mainfrom
RalfJung:f-min-max
Dec 6, 2025
Merged

f*::min/max: fix comparing with libm and IEEE operations#149563
bors merged 1 commit intorust-lang:mainfrom
RalfJung:f-min-max

Commits

Commits on Dec 5, 2025