Repository navigation

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

Commits on Aug 12, 2026
- Check that fast math intrinsic results are finite
  feliperodri
  committed
  141382c
Commits on Aug 13, 2026
- Merge branch 'main' into fix/fadd-fast-result-finite-check
  feliperodri
  authored
  50e55e7
- Address review: split result-overflow tests and rename finiteness helper
  feliperodri
  committed
  d447daf