Repository navigation

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

Open

sankalpsthakur wants to merge 16 commits into

model-checking:mainfrom

sankalpsthakur:challenge/29-boxed

Open

Challenge 29: Kani contracts for Box, convert, and ThinBox#639
sankalpsthakur wants to merge 16 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
- Merge main and reconcile boxed conversion imports
  sankalpsthakur
  committed
  c454b54
- Update slice conversion harnesses for current alloc
  sankalpsthakur
  committed
  cdfeac6
Commits on Oct 9, 2026
- Merge main into challenge/29-boxed
  sankalpsthakur
  committed
  cce2ace
- Adapt Box contracts and harnesses to current main
  sankalpsthakur
  committed
  0029682
- Name the sized assume_init harnesses in the TODO
  sankalpsthakur
  committed
  e5c65ce
Commits on Oct 12, 2026
- Merge branch 'main' into challenge/29-boxed
  sankalpsthakur
  authored
  342cf93
Commits on Oct 21, 2026
- Merge branch 'main' into challenge/29-boxed
  sankalpsthakur
  committed
  ca6da6e
- Prove the downcast_unchecked contracts with proof_for_contract
  sankalpsthakur
  committed
  4712f51
Commits on Nov 3, 2026