Challenge 17: Kani contracts for slice functions - #647

Open

sankalpsthakur wants to merge 6 commits into

model-checking:mainfrom

sankalpsthakur:challenge/17-slice

Commits on Aug 20, 2026

Challenge 17: Kani contracts for slice functions
sankalpsthakur
committed
271ad64
Challenge 17: rustfmt slice modules
sankalpsthakur
committed
4d3945d
Challenge 17: fix Kani loop contracts on slice search/dedup
sankalpsthakur
committed
2039ebd
chore: re-trigger CI after GitHub runner cancel
sankalpsthakur
committed
07515f7
Challenge 17: 2-byte rotate/swap harnesses for autoharness timeout
sankalpsthakur
committed
a71ac3d
Challenge 17: bind rotate length before the mutable call
sankalpsthakur
committed
6e8f8be