Skip to content

README: measured filtered-search numbers - #6

Merged
JonathanKash merged 1 commit into
mainfrom
filtered-readme
Sep 2, 2026
Merged

JonathanKash merged 1 commit into
mainfrom
filtered-readme

README: measured filtered-search numbers; refine the selectivity caveat

23ab5c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ASan + UBSan
succeeded Sep 2, 2026 in 48s