Skip to content

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

Update Veir/Data/PBV/Mask.lean

b76481e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar