Skip to content

Fix Datalog grounding projection: instance-specific defeaters, full provenance, fresh rule names - #93

Merged
ctoth merged 8 commits into
mainfrom
fix/datalog-grounding-projection
Sep 27, 2026
Merged

Fix Datalog grounding projection: instance-specific defeaters, full provenance, fresh rule names#93
ctoth merged 8 commits into
mainfrom
fix/datalog-grounding-projection

fix: bind named-defeater arguments in first-appearance variable order

1226159
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar