Skip to content

Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers - #666

Open
ivmat wants to merge 4 commits into
model-checking:mainfrom
ivmat:challenge-4-btree-v2
Open

Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers#666
ivmat wants to merge 4 commits into
model-checking:mainfrom
ivmat:challenge-4-btree-v2

Challenge 4: panel fixes -- compile error, unsatisfiable covers, orac…

9a083f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify core::slice with RAPx
succeeded Aug 30, 2026 in 2m 21s