Skip to content

Generate predicate variables only where something is left to infer - #224

Draft
coord-e wants to merge 3 commits into
mainfrom
claude/reduce-predicate-variables-1aeoll
Draft

Generate predicate variables only where something is left to infer#224
coord-e wants to merge 3 commits into
mainfrom
claude/reduce-predicate-variables-1aeoll

Take the state at a join as the disjunction of the states behind it

2e4e840
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar