Skip to content

Fix get_trie_ref on a read zipper that owns its root - #128

Merged
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/head-read-zipper-trie-ref
Sep 24, 2026
Merged

Fix get_trie_ref on a read zipper that owns its root#128
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/head-read-zipper-trie-ref

Merge master into fix/head-read-zipper-trie-ref

a06f147
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 24, 2026 in 9s