Skip to content

Improve overflow bounds for rational scaling factors by using modular decomposition - #676

Open
jmontgomery-aurora wants to merge 4 commits into
aurora-opensource:mainfrom
jmontgomery-aurora:jm/improve_scalebyrelational_overflow
Open

Improve overflow bounds for rational scaling factors by using modular decomposition#676
jmontgomery-aurora wants to merge 4 commits into
aurora-opensource:mainfrom
jmontgomery-aurora:jm/improve_scalebyrelational_overflow

Fix up some style inconsistencies and add negativerational test

d615e56
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
bzlmod-client-build-and-test (7.6.1)
succeeded May 18, 2026 in 1m 16s