[saw-core-coq] Check bitvector lemmas for < 4 bits#1495

Merged

mergify[bot] merged 4 commits intomasterfrom saw-core-coq/partially-check-bv-props

Nov 6, 2021

+211-87

Commits on Nov 2, 2021

add axiom-based holds_for_bits_up_to tactics, fix some bv lemmas (...)
m-yac
committed

Commits on Nov 3, 2021

fix definition of shiftR, resolve bvToNat warning
m-yac
committed

Commits on Nov 5, 2021