Challenge 4: Kani contracts for BTreeMap node - #641

Open

sankalpsthakur wants to merge 9 commits into

model-checking:mainfrom

sankalpsthakur:challenge/04-btree-node

Commits on Aug 20, 2026

Challenge 4: Kani contracts for BTreeMap node
sankalpsthakur
committed
88fbe6c
Fix btree node Kani harness overflow and contract setup
sankalpsthakur
committed
73f7c5a
Fix btree node autoharness OOM on insert_recursing
sankalpsthakur
committed
8dccf38
Challenge 4: rustfmt after Kani harness fixes
sankalpsthakur
committed
eda8766
chore: re-trigger CI after GitHub runner cancel
sankalpsthakur
committed
f540812
Slim btree insert_recursing proofs for autoharness timeout
sankalpsthakur
committed
5aca52c
Challenge 4: unwind 2 on insert_recursing into_parent
sankalpsthakur
committed
86a25d9
chore: re-trigger CI after ubuntu partition 1 runner cancel
sankalpsthakur
committed
f179177

Commits on Aug 21, 2026

chore: re-trigger CI after leftover partition 1 runner cancel
sankalpsthakur
committed
d2a6667