Skip to content

Fix/trie ref long node key and empty is shared - #145

Open
imlvts wants to merge 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/trie-ref-long-node-key-and-empty-is-shared
Open

Fix/trie ref long node key and empty is shared#145
imlvts wants to merge 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/trie-ref-long-node-key-and-empty-is-shared

Fix TrieRef::is_shared on an empty node

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