split-index mapping in separate processes#787

Open

mlin wants to merge 8 commits intolh3:masterfrom

mlin:distributed-mapping

Commits on Jul 14, 2021

first run
mlin
committed

Commits on Jul 16, 2021

fixup
mlin
committed

Commits on Jul 28, 2021

Merge remote-tracking branch 'upstream/master' into distributed-mapping
mlin
committed

Commits on Aug 6, 2021

report hash of mm_mapopt_t
mlin
committed