Fix BoogieToStrata: handle cross-nesting and backward gotos#655

Merged

tautschnig merged 9 commits intomainfrom

tautschnig/fix-boogie-to-strata

Apr 1, 2026

Commits on Mar 25, 2026

Fix BoogieToStrata: handle cross-nesting and backward gotos

tautschnig
and
kiro-agent
committed

Commits on Mar 27, 2026

Fix BoogieToStrata: support nested loops (nested back-edges)

tautschnig
and
kiro-agent
committed
Merge remote-tracking branch 'origin/main' into tautschnig/fix-boogie-to-strata
tautschnig
committed
Extract "_exit" string literal to ExitLabel constant

tautschnig
and
kiro-agent
committed
Handle newRegion fully containing existing in InsertRegion

tautschnig
and
kiro-agent
committed
Document multi-level target delegation; add triple-nested loop test

tautschnig
and
kiro-agent
committed
Merge remote-tracking branch 'origin/main' into tautschnig/fix-boogie-to-strata
tautschnig
committed

Commits on Apr 1, 2026