Skip to content

feat: commute BitVec.extractLsb(')? with BitVec.{and,not}#6747

Open
bollu wants to merge 1 commit intoleanprover:masterfrom opencompl:bv-extract-and-eq-and-extract
+35

Commits

Commits on Jan 22, 2025