Skip to content

fix(gc): float arithmetic proves a value is not a NaN-boxed pointer — main is red on 9 false positives - #7738

Merged
proggeramlug merged 2 commits into
mainfrom
fix/7738-dominance-numeric-proof
Aug 9, 2026
Merged

fix(gc): float arithmetic proves a value is not a NaN-boxed pointer — main is red on 9 false positives#7738
proggeramlug merged 2 commits into
mainfrom
fix/7738-dominance-numeric-proof

chore: bump version to 0.5.1430

63a3a17
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar