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 3 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 3 commits into
model-checking:mainfrom
v3risec:challenge-29-boxed

Merge branch 'main' into challenge-29-boxed

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

Annotations

1 warning
Test testable simd models
succeeded May 28, 2026 in 5m 5s