Poll timeout/interrupt/memory-limit inside dive loops; fix pulling should_stop - #27

Merged

legraina merged 2 commits into

mainfrom

fix/dive-loop-stop-polling

Aug 3, 2026

Commits on Aug 3, 2026

Poll should_stop() inside dive loops to bound pathological solves

legraina
and
claude
committed
7ca2273
Poll the memory limit inside dive loops, not just should_stop()

legraina
and
claude
committed
b5665b5