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

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

v3risec wants to merge 9 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

v3risec:challenge-29-boxedv3risec/verify-rust-std:challenge-29-boxedCopy head branch name to clipboard