Changed Paths Bloom Filters#497

Closed

garimasi514 wants to merge 15 commits intogitgitgadget:masterfrom

garimasi514:coreGit-bloomFilters

Commits on Mar 28, 2020

commit-graph: define and use MAX_NUM_CHUNKS
garimasi514
committed

Commits on Mar 29, 2020

Commits on Apr 6, 2020

commit-graph: write Bloom filters to commit graph file
garimasi514
committed
commit-graph: reuse existing Bloom filters during write
garimasi514
committed
commit-graph: add --changed-paths option to write subcommand
garimasi514
committed
revision.c: use Bloom filters to speed up path based revision walks
garimasi514
committed
revision.c: add trace2 stats around Bloom filter usage
garimasi514
committed
t4216: add end to end tests for git log with Bloom filters
garimasi514
committed
commit-graph: add GIT_TEST_COMMIT_GRAPH_CHANGED_PATHS test flag
garimasi514
committed