[Refactor] New SMT backend: Remove X-macro implementation from `smt_bit_vector_theory`#6615

Merged

NlightNFotis merged 8 commits intodiffblue:developfrom

NlightNFotis:remove_xmacro

Feb 2, 2022

Commits on Jan 31, 2022

Remove definition of `unsigned_less_than` from X-Macro definition.
NlightNFotis
committed
Remove macro-definition of `unsigned_less_than_or_equalt` from X-macro.
NlightNFotis
committed
Remove macro-definition of `unsigned_greater_than` from X-macro.
NlightNFotis
committed
Remove macro-definition of `unsigned_greater_than_or_equal` from X-macro.
NlightNFotis
committed
Remove macro-definition of `signed_less_than` from X-macro.
NlightNFotis
committed
Remove macro-definition of `signed_less_than_or_equal` from X-macro.
NlightNFotis
committed
Remove macro-definition of `signed_greater_than` from X-macro.
NlightNFotis
committed

Commits on Feb 2, 2022

Remove macro-definition of `signed_greater_than_or_equal` from X-macro.
NlightNFotis
committed