Repository navigation

SMT soundness: overlapping CASE arms are lowered to ordered IF - #308

Open

lemmy wants to merge 2 commits into

mainfrom

Open

SMT soundness: overlapping CASE arms are lowered to ordered IF#308
lemmy wants to merge 2 commits into
mainfrom
mku-gh304

Commits on Oct 14, 2026
- Add tests for overlapping CASE arms in the backends
  lemmy
  committed
  7c9b1e6
- Encode overlapping CASE arms soundly in the SMT backend
  
  lemmy
  and
  claude
  committed
  73dd646