boolbvt::convert_constant is now independent of bitvector representation#3106

Merged

kroening merged 2 commits intodevelopfrom

hex-bitvectors7

Oct 7, 2018

Commits on Oct 7, 2018

added means to get a bit from bit-vector representation
Daniel Kroening
committed
rewrite simplify_exprt::simplify_popcount using get_bitvector_bit
Daniel Kroening
committed