Skip to content

Extend Cmds.toGotoTransform to handle all Stmt types#289

Open
tautschnig wants to merge 5 commits intomainfrom
tautschnig/ToCProverGOTO-Stmt
Open

Extend Cmds.toGotoTransform to handle all Stmt types#289
tautschnig wants to merge 5 commits intomainfrom
tautschnig/ToCProverGOTO-Stmt

Commits

Commits on Dec 22, 2025

Commits on Jan 7, 2026