Skip to content

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
Open

Challenge 29: Kani contracts for Box, convert, and ThinBox#639
sankalpsthakur wants to merge 7 commits into
model-checking:mainfrom
sankalpsthakur:challenge/29-boxed

Update slice conversion harnesses for current alloc

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

Annotations

1 warning
build
succeeded Sep 14, 2026 in 6m 45s