Repository navigation

Model StringBuffer, ignore-case comparisons, simple regexes and more String methods - #90

Closed

nils-loose wants to merge 4 commits into

fix/string-model-soundnessfrom

feat/string-models-2

Closed

Model StringBuffer, ignore-case comparisons, simple regexes and more String methods#90
nils-loose wants to merge 4 commits into
fix/string-model-soundnessfrom
feat/string-models-2

Commits on Oct 19, 2026
- Model StringBuffer, case mappings, ignore-case comparisons and simple regexes exactly
  
  nils-loose
  and
  claude
  committed
  fbea4c1
- Model case mappings and ignore-case comparisons for ASCII strings only
  
  nils-loose
  and
  claude
  committed
  ef7c0ac
- Leave toLowerCase/toUpperCase of symbolic strings unmodelled; pin before the ASCII split
  
  nils-loose
  and
  claude
  committed
  bf21183
- Test equalsIgnoreCase of two symbolic strings under its branches
  
  nils-loose
  and
  claude
  committed
  29b8c03