Challenge 10: Kani contracts for String memory safety - #645

Open

sankalpsthakur wants to merge 31 commits into

model-checking:mainfrom

sankalpsthakur:challenge/10-string

Commits on Aug 20, 2026

Challenge 10: Kani contracts for String memory safety
sankalpsthakur
committed
3750681
Challenge 10: rustfmt string.rs for upstream_test
sankalpsthakur
committed
7229889
Challenge 10: keep String Kani harnesses inside CBMC limits
sankalpsthakur
committed
0ffd016
Challenge 10: finish remove_matches Kani harness under CBMC timeout
sankalpsthakur
committed
6c21c5b
chore: re-trigger CI after GitHub runner cancel
sankalpsthakur
committed
8b992cc
Challenge 10: keep remove and utf16 lossy under CBMC timeout
sankalpsthakur
committed
06db526
Challenge 10: drop proof_for_contract on remove; shrink retain
sankalpsthakur
committed
c3019eb

Commits on Aug 21, 2026

Commits on Aug 22, 2026