Fix loop-contract transform for post-#145513 deref temporaries - #4659

Merged

tautschnig merged 4 commits into

model-checking:mainfrom

tautschnig:fix-loop-contract-deref-temps

Jul 23, 2026

Commits on Jul 19, 2026

Fix loop-contract transform for post-#145513 deref temporaries

tautschnig
and
kiro-agent
committed

Commits on Jul 21, 2026

Commits on Jul 23, 2026

Merge branch 'main' into fix-loop-contract-deref-temps
tautschnig
authored