Repository navigation

Render the verifier's line tags as subscripts and name every part of an error alike - #196

Merged

CatarinaGamboa merged 5 commits into

mainfrom

feat/175-line-tags

Nov 11, 2026

Merged

Render the verifier's line tags as subscripts and name every part of an error alike#196
CatarinaGamboa merged 5 commits into
mainfrom
feat/175-line-tags

Commits on Nov 11, 2026
- Show a variable's line tag as a subscript and name every part of an error alike
  
  CatarinaGamboa
  and
  claude
  committed
  258708b
- Leave text that looks like a line tag inside string literals of messages
  
  CatarinaGamboa
  and
  claude
  committed
  c0b86a8
- Keep string and character literals whole when highlighting and diffing steps
  
  CatarinaGamboa
  and
  claude
  committed
  7788222
- Share the literal and line tag patterns with the step diff tokenizer
  
  CatarinaGamboa
  and
  claude
  committed
  5993529
- Say in a line tag's tooltip which value of the variable it stands for, in words
  
  CatarinaGamboa
  and
  claude
  committed
  cce8ff3