Skip to content

feat: add BitVec comparison lemmas to bv_normalize #6707

feat: add BitVec comparison lemmas to bv_normalize

feat: add BitVec comparison lemmas to bv_normalize #6707

Backport

succeeded Jan 28, 2025 in 3s