Skip to content

Fix join_into and subtract self id checks - #177

Open
adamv-symbolica wants to merge 2 commits into
Adam-Vandervorst:masterfrom
adamv-symbolica:claude/node-ops-ptr-eq-shortcuts-1443d5
Open

Fix join_into and subtract self id checks#177
adamv-symbolica wants to merge 2 commits into
Adam-Vandervorst:masterfrom
adamv-symbolica:claude/node-ops-ptr-eq-shortcuts-1443d5

Add benchmarks of algebraic operations on tries that share subtries

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