Skip to content

Check that fast math intrinsic results are finite - #4730

Open
feliperodri wants to merge 3 commits into
model-checking:mainfrom
feliperodri:fix/fadd-fast-result-finite-check
Open

Check that fast math intrinsic results are finite#4730
feliperodri wants to merge 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