[ConstraintElim] Handle single And/Or as exit condition in loop. #221228
[ConstraintElim] Add tests for loops with and/or exit conditions.
d72d0d67
[ConstraintElim] Handle single And/Or as exit condition in loop.
97e7f03c
dtcxzyw
approved these changes
on 2026-09-06
Merge branch 'main' into ce-peel-or-and-loop-cond
40e2ac13
fhahn
enabled auto-merge (squash) 6 days ago
fhahn
merged
9707960f
into main 6 days ago
fhahn
deleted the ce-peel-or-and-loop-cond branch 6 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub