Prove stage-reuse and intersection cuts for complete callers - #5617

Prove stage-reuse and intersection cuts for complete callers#5617

aliromman wants to merge 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/cut-guided-caller-search-20261025aliromman/integer-mult-bounds:codex/cut-guided-caller-search-20261025Copy head branch name to clipboard