Skip to content

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

Merge remote-tracking branch 'origin/main' into capcov/fix-85-prolog-…

797aa43
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar