Imports bug fixes for --big feature into stable branch#341

Open

EdwardALuke wants to merge 11 commits into

big-fixes-cherrypick

Commits on Jun 10, 2026

Commits on Jun 11, 2026

Added fix for potential divide-by-zero in cut plane edge weight calculation, which can occur when a==b=0. Added fix for int32 overflow in diagnostic DEBUG output in parSampleSort for large (--big, …

Rob Harris
authored and
EdwardALuke
committed

Commits on Jun 29, 2026

Fixed issue with queried facts not being in the correct key space.
EdwardALuke
committed