Skip to content

Challenge 20: Verify char-class Searcher safety in str::pattern with Kani - #722

Open
kasimte wants to merge 12 commits into
model-checking:mainfrom
kasimte:20-build-s2
Open

Challenge 20: Verify char-class Searcher safety in str::pattern with Kani#722
kasimte wants to merge 12 commits into
model-checking:mainfrom
kasimte:20-build-s2

Commits

  1. Commits on Oct 7, 2026

  2. Commits on Oct 8, 2026

  3. Commits on Oct 21, 2026

  4. Commits on Oct 31, 2026