Skip to content

Challenge 18: Kani contracts for slice iterators - #644

Open
sankalpsthakur wants to merge 8 commits into
model-checking:mainfrom
sankalpsthakur:challenge/18-slice-iter
Open

Challenge 18: Kani contracts for slice iterators#644
sankalpsthakur wants to merge 8 commits into
model-checking:mainfrom
sankalpsthakur:challenge/18-slice-iter

Challenge 18: IterMut tup post_inc_start as body proof (single-call)

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

Annotations

1 warning
Test testable simd models
succeeded Aug 21, 2026 in 5m 13s