Skip to content

Emit explicit contract:: symbols for functions with contracts#4612

Open
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:explicit-contract
Open

Emit explicit contract:: symbols for functions with contracts#4612
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:explicit-contract

Commits

Commits on Jun 23, 2026