Repository navigation

Wrap the Verification panel at spaces and operators, one conjunct per line - #189

Merged

CatarinaGamboa merged 3 commits into

mainfrom

feat/187-panel-wrap

Nov 11, 2026

Merged

Wrap the Verification panel at spaces and operators, one conjunct per line#189
CatarinaGamboa merged 3 commits into
mainfrom
feat/187-panel-wrap

Commits on Nov 11, 2026
- Wrap the Verification panel at spaces and operators, one conjunct per line
  
  CatarinaGamboa
  and
  claude
  committed
  9b6797d
- Split changed Found predicates into lines too, and skip character literals
  
  CatarinaGamboa
  and
  claude
  committed
  c6a9aac
- Diff each line of a changed Found predicate against the line it replaces
  
  CatarinaGamboa
  and
  claude
  committed
  79c1800