Skip to content

Comments

SMT2: typecasts to the source type#8828

Merged
kroening merged 1 commit intodevelopfrom
smt2-identity-typecast
Jan 21, 2026
Merged

SMT2: typecasts to the source type#8828
kroening merged 1 commit intodevelopfrom
smt2-identity-typecast

Commits

Commits on Jan 21, 2026