Repository navigation

Challenge 13: contracts and proofs for CStr trait implementations and safe methods - #670

Open

kasimte wants to merge 9 commits into

model-checking:mainfrom

kasimte:challenge-13-cstr

Commits on Sep 2, 2026
- Challenge 13: contracts and proofs for CStr trait implementations and safe methods
  kasimte
  committed
  8fa3909
Commits on Sep 15, 2026
- Merge remote-tracking branch 'public/main' into 13-response
  kasimte
  committed
  8a9d96f
- Verify Index<RangeFrom> as a plain proof at the pinned Kani
  kasimte
  committed
  8953c77
Commits on Sep 30, 2026
Commits on Oct 6, 2026
- merge in main
  kasimte
  committed
  c18c28b
- Challenge 13: restore the Index<RangeFrom> contract and proof_for_contract at the kani#4865 pin
  kasimte
  committed
  ee163a2