Avoid ledger copy and mutation in `Sparse_ledger.of_ledger_subset_exn`#14587

Merged

deepthiskumar merged 26 commits intofeature/merkle-mask-empty-account-preloadingfrom feature/sparse-ledger-of-subset-no-mutability

Dec 5, 2023

+418-265

Commits on Nov 28, 2023

Avoid ledger copy and mutation in Sparse_ledger.of_ledger_subset_exn

mrmr1993
authored and
georgeee
committed

Commits on Nov 29, 2023

refactor the code a little bit
Tang Jiawei
committed
further clean up the code
Tang Jiawei
committed
Small refactoring in of_ledger_subset_exn
georgeee
committed

Commits on Dec 1, 2023

fix the order in the location list

deepthiskumar
authored and
georgeee
committed
Add Sparse_ledger.add_wide_path

mrmr1993
authored and
georgeee
committed
Add add_wide_path_batch to Ledger_intf

mrmr1993
authored and
georgeee
committed
Use wide ledger paths for Sparse_ledger.of_ledger_subset_exn

mrmr1993
authored and
georgeee
committed
Refactor wide merkle path functions
georgeee
committed
Small rewrite of path_batch_impl
georgeee
committed
Nit: rename variables
georgeee
committed
Refactor wide_merkle_path_batch

Tang Jiawei
authored and
georgeee
committed
fix the order of the locations

Tang Jiawei
authored and
georgeee
committed
fixup! Use wide ledger paths for Sparse_ledger.of_ledger_subset_exn
georgeee
committed
Refactor add_wide_path_unsafe
georgeee
committed
Generalize add_path in sparse ledger
georgeee
committed
Simplify add_path_impl's recursion
georgeee
committed
Replace tables with maps in merkle masks

nholland94
authored and
georgeee
committed
Fix merkle ledger tests

nholland94
authored and
georgeee
committed
Use map refs instead of mutable map fields

nholland94
authored and
georgeee
committed
Fixup after rebase
georgeee
committed