Repository navigation

Challenge 20: Verify Char Searcher with Kani - #620

Open

v3risec wants to merge 13 commits into

model-checking:mainfrom

v3risec:challenge-20-char-searcher

Open

Challenge 20: Verify Char Searcher with Kani#620
v3risec wants to merge 13 commits into
model-checking:mainfrom
v3risec:challenge-20-char-searcher

Commits on Jul 30, 2026
- add kani verification method for Challenge 20
  v3risec
  committed
  6307b0e
- add arbitrary to fix CI failure
  v3risec
  committed
  bc1953b
Commits on Aug 2, 2026
- fix soundness gaps
  v3risec
  committed
  83ec991
- Merge branch 'main' into challenge-20-char-searcher
  v3risec
  authored
  35c9445
Commits on Aug 3, 2026
- fix CI bugs
  v3risec
  committed
  0e5255e
Commits on Aug 24, 2026
- Merge branch 'main' into challenge-20-char-searcher
  v3risec
  authored
  b1d1ab7
- Avoid redundant CharArraySearcher method harnesses
  v3risec
  committed
  44bade8
- Refine CharSearcher contracts and symbolic state setup
  v3risec
  committed
  7aaf633
Commits on Aug 25, 2026
- Restore UTF-8 proof cut for CharSearcher harnesses
  v3risec
  committed
  90ba331
- Bound small_slice_eq harness for CI stability
  v3risec
  committed
  2624792
- Refine Challenge 20 input modeling and wrapper coverage
  v3risec
  committed
  f0d5c80
- Merge branch 'main' into challenge-20-char-searcher
  v3risec
  authored
  c160342
Commits on Aug 26, 2026
- Merge branch 'main' into challenge-20-char-searcher
  v3risec
  authored
  60ca6d8