Skip to content

SMT2: allow natural-typed shift distance#8519

Merged
kroening merged 1 commit intodevelopfrom
smt2-shift-distance-natural
Dec 17, 2024
Merged

SMT2: allow natural-typed shift distance#8519
kroening merged 1 commit intodevelopfrom
smt2-shift-distance-natural

Commits

Commits on Nov 24, 2024