Skip to content

Merge remote-tracking branch 'origin/main' into tautschnig/fix-boogie…

3dbd450
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

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

Merge remote-tracking branch 'origin/main' into tautschnig/fix-boogie…
3dbd450
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
Analyze (java-kotlin)
succeeded Mar 27, 2026 in 1m 12s