Challenge 29: Kani contracts for Box, convert, and ThinBox - #639

Open

sankalpsthakur wants to merge 7 commits into

model-checking:mainfrom

sankalpsthakur:challenge/29-boxed

Commits on Aug 20, 2026

Challenge 29: Kani contracts for Box, convert, and ThinBox
sankalpsthakur
committed
6996307
Fix rustfmt import grouping in Box Kani contracts
sankalpsthakur
committed
b389760
Fix Box convert Kani harness CBMC timeouts
sankalpsthakur
committed
5d8f0ee

Commits on Aug 22, 2026

Strengthen Box from_raw layout contracts and slice harnesses
sankalpsthakur
committed
db19ca3
fix: allocate slice without Box::from in from_raw_in harness
sankalpsthakur
committed
4da62f0

Commits on Sep 14, 2026