Skip to content

Check that fast math intrinsic results are finite - #4730

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:fix/fadd-fast-result-finite-check
Aug 24, 2026
Merged

Check that fast math intrinsic results are finite#4730
tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:fix/fadd-fast-result-finite-check

Address review: split result-overflow tests and rename finiteness helper

d447daf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 13, 2026 in 6s