Skip to content

Evaluate compiler-produced conjunctive input guards within runtime limits - #914

Merged
flyingrobots merged 5 commits into
mainfrom
fix/pure-predicate-evaluation
Oct 19, 2026
Merged

Evaluate compiler-produced conjunctive input guards within runtime limits#914
flyingrobots merged 5 commits into
mainfrom
fix/pure-predicate-evaluation

Reject empty conjunctions at the Core wire boundary

4ad5194
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar