Skip to content

fix(ir): reject unsafe variables in negated body atoms (#920) - #923

Merged
justinjoy merged 1 commit into
mainfrom
fix/unsafe-negation-variables
Jun 20, 2026
Merged

fix(ir): reject unsafe variables in negated body atoms (#920)#923
justinjoy merged 1 commit into
mainfrom
fix/unsafe-negation-variables

fix(ir): reject unsafe variables in negated body atoms (#920)

e88377a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (python)
succeeded Jun 20, 2026 in 37s