Conversion of bitwise `exprt`s to SMT terms in new SMT backend#6676

Merged

NlightNFotis merged 8 commits intodiffblue:developfrom

NlightNFotis:bitwise_ops

Feb 23, 2022

Commits on Feb 23, 2022

Move static function `convert_multiary_operator_to_terms` to top of file.
NlightNFotis
committed
Conversion of `bitwise and` expressions to SMT terms.
NlightNFotis
committed
Conversion of `bitor_exprt` to `bvor`.
NlightNFotis
committed
Conversion of `bitxor_expr` to `bvxor` SMT terms.
NlightNFotis
committed
Conversion of `bitnot_exprt` to `bvnot` SMT terms.
NlightNFotis
committed
Conversion of left bit shift expression to `bvshl`.
NlightNFotis
committed
Conversion of logical and arithmetic right shift expressions to SMT.
NlightNFotis
committed
Refactor the `std::all_of` checks in several bitwise operators into a function.
NlightNFotis
committed