Subtract zipper - #94

Open

marcin-rzeznicki wants to merge 11 commits into

subtract_zipper

Commits on Sep 7, 2026

splitting the API into ZipperValue<V> and ZipperValueAt<V>
marcin-rzeznicki
committed
2a0fa28
Introduce SubtractZipper
marcin-rzeznicki
committed
743afd9

Commits on Sep 8, 2026

SubtractZipper: Implement `_observed` function
marcin-rzeznicki
committed
f7a64d4
SubtractZipper: couple of small optimizations
marcin-rzeznicki
committed
d74a67f

Commits on Sep 9, 2026

SubtractZipper: implement subtree probe caching
marcin-rzeznicki
committed
ee6e420

Commits on Sep 12, 2026

SubtractZipper: implement child probe propagation during ascend
marcin-rzeznicki
committed
4d4d199
fixed the code to not set a bit that was already cleared.

ClarkeRemy
authored and
marcin-rzeznicki
committed
18e88aa
SubtractZipper: simplify `has_surviving_sibling`
marcin-rzeznicki
committed
7299060
SubtractZipper: add some tests against fuzzer reports
marcin-rzeznicki
committed
07bb915
SubtractZipper: return `false` if `k == 0` in `descend_first_k_path`
marcin-rzeznicki
committed
34c9de8
SubtractZipper: add new handy constructor
marcin-rzeznicki
committed
6a9b7f5