Skip to content

Resolve goal loops that have no predicate (#346) - #350

Merged
scgopi merged 3 commits into
mainfrom
feat/346-goal-resolution
Sep 13, 2026
Merged

scgopi merged 3 commits into
mainfrom
feat/346-goal-resolution

Commits

Commits on Sep 13, 2026