Repository navigation

feat(PBV): Convert multiplication of masks into shifts of popcounts. - #1565

Merged

luigirinaldi merged 4 commits into

mainfrom

luigirinaldi/bpbv-perf

Sep 30, 2026

Merged

feat(PBV): Convert multiplication of masks into shifts of popcounts.#1565
luigirinaldi merged 4 commits into
mainfrom
luigirinaldi/bpbv-perf

Commits on Sep 29, 2026
- change to cpop
  luigirinaldi
  committed
  291676e
- convert add of mask to use cpop too
  luigirinaldi
  committed
  bc25b7c
- fixed grind bug (stopped it from happening)
  luigirinaldi
  committed
  e5d0fde
Commits on Sep 30, 2026
- Update Veir/Data/PBV/Mask.lean
  
  luigirinaldi
  and
  tobiasgrosser
  committed
  b76481e