Repository navigation

Preserve control-flow boundary identities across monitors, phis, and aliases - #18

Merged

asLody merged 10 commits into

asLody:mainfrom

LLeavesG:fix/control-flow-boundary-identity

Aug 14, 2026

Commits on Aug 14, 2026

fix(exceptions): recover shared synchronized cleanup
LLeavesG
committed
0577489
fix(regions): match adapted monitor release handlers
LLeavesG
committed
4df3a87
fix(phi): preserve copies across repeated block occurrences
LLeavesG
committed
1d3b87f
fix(regions): preserve phi-copy boundary identities
LLeavesG
committed
ab0b885
fix(phi): emit equivalent copies at each concrete site
LLeavesG
committed
0cd950d
fix(regions): partition handlers at standalone monitor exits
LLeavesG
committed
aed8198
fix(java): terminate anonymous switch dispatch cases
LLeavesG
committed
d719a89
fix(values): preserve identity across alias fanout
LLeavesG
committed
2981fb6
fix(values): keep one-time effects outside loops
LLeavesG
committed
3677b3b
fix(java): reserve static owner qualifiers
LLeavesG
committed
d52c4f3