Skip to content

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
Merged

Fix loop-contract transform for post-#145513 deref temporaries#4659
tautschnig merged 4 commits into
model-checking:mainfrom
tautschnig:fix-loop-contract-deref-temps

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

0e0e5c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

6 warnings
BuildBundle-MacOs-x86_64
succeeded Jul 23, 2026 in 10m 9s