Skip to content

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani - #589

Open
v3risec wants to merge 17 commits into
model-checking:mainfrom
v3risec:challenge-29-boxed
Open

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani#589
v3risec wants to merge 17 commits into
model-checking:mainfrom
v3risec:challenge-29-boxed

Refine Challenge 29 contracts and symbolic harness checks

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

Annotations

1 warning and 1 notice
Verify std library
succeeded Oct 21, 2026 in 40s