Add missing operators defined in SMT-LIB QF_BV Logic specification
Closed this issue · 0 comments
elsoroka commented
The core BitVector operations defined here are available, but some of the additional BitVector operations defined here are missing.
List of missing operators:
bvcomp
bvsdiv
repeat
zero_extend
sign_extend
rotate_left
rotate_right