Skip to content

Merge branch 'main' into tautschnig/ToCProverGOTO-Stmt

704ba68
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

GOTO backend: Core-to-GOTO translation, CBMC pipeline tests, and CI #289

Merge branch 'main' into tautschnig/ToCProverGOTO-Stmt
704ba68
Select commit
Loading
Failed to load commit list.