Repository navigation

fix(prolog): run deep proofs on fresh coroutine stacks (#85) - #90

Merged

pyrex41 merged 3 commits into

mainfrom

capcov/fix-85-prolog-depth

Oct 19, 2026

Merged

fix(prolog): run deep proofs on fresh coroutine stacks (#85)#90
pyrex41 merged 3 commits into
mainfrom
capcov/fix-85-prolog-depth

Commits on Oct 18, 2026
- fix(prolog): run deep proofs on fresh coroutine stacks (#85)
  
  pyrex41
  and
  claude
  committed
  8f50b50
- fix(prolog): keep segment counts right when a host yield is abandoned
  
  pyrex41
  and
  claude
  committed
  4456af0
Commits on Oct 19, 2026
- Merge remote-tracking branch 'origin/main' into capcov/fix-85-prolog-depth
  pyrex41
  committed
  797aa43