Repository navigation

Drop vacuous predicates and keep required phi copy sources - #20

Merged

asLody merged 6 commits into

asLody:mainfrom

LLeavesG:fix/semantic-type-cleanup

Aug 15, 2026

Commits on Aug 15, 2026

fix(regions): skip clipped control regions and harden try entry repair

LLeavesG
and
cursoragent
committed
777d3c0
fix(semantic): keep effectful predicates when if arms are empty

LLeavesG
and
cursoragent
committed
a7d9cc9
fix(java): remove related multi-catch alternatives
LLeavesG
committed
bd93a99
fix(semantic): remove replayed vacuous predicates
LLeavesG
committed
b436b53
fix(value): retain omitted phi copy sources
LLeavesG
committed
c0f4632
fix(java): reject stale foreach source types
LLeavesG
committed
7c18290