feat: add SMT-LIB overflow definitions for bitvectors (not_overflow
,uadd_overflow
,sadd_overflow
,umul_overflow
,smul_overflow
)
#776
This job was skipped
Loading