Skip to content

fix: reject cyclic predicate definitions, guard evaluation depth#60

Merged
rmichaelthomas merged 1 commit into
mainfrom
fix/cyclic-predicate-rejection
Jul 20, 2026
Merged

fix: reject cyclic predicate definitions, guard evaluation depth#60
rmichaelthomas merged 1 commit into
mainfrom
fix/cyclic-predicate-rejection

fix: reject cyclic predicate definitions, guard evaluation depth

354f48c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar