Commits

Commit history

1. Commits on Nov 11, 2026

   • Explain the verifier's generated names on hover and link them to their lines (#199)

     Show description for 6aa25b3
     

     CatarinaGamboa

     and

     claude

     authored
     6aa25b3View commit details

     Copy full SHA for 6aa25b3

     View code at this pointBrowse repository at this point

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

     Show description for 1bd7f42
     

     CatarinaGamboa

     and

     claude

     authored
     1bd7f42View commit details

     Copy full SHA for 1bd7f42

     View code at this pointBrowse repository at this point

   • Show the code of messages in the editor font and link the lines they name (#193)

     Show description for d73c500
     

     CatarinaGamboa

     and

     claude

     authored
     d73c500View commit details

     Copy full SHA for d73c500

     View code at this pointBrowse repository at this point

   • Show every declared-here position and its gloss in the IDE panel (#191)

     Show description for 3a4d92f
     

     CatarinaGamboa

     and

     claude

     authored
     3a4d92fView commit details

     Copy full SHA for 3a4d92f

     View code at this pointBrowse repository at this point

   • Show the Context tab's refinements as the error messages show them (#186)

     Show description for 83f9283
     

     CatarinaGamboa

     and

     claude

     authored
     83f9283View commit details

     Copy full SHA for 83f9283

     View code at this pointBrowse repository at this point
2. Commits on Nov 10, 2026

   • Bump liquidjava-verifier to 0.0.37 and liquidjava-fsm to 0.2.3 (#179)

     Show description for 7292a64
     

     CatarinaGamboa

     and

     claude

     authored
     7292a64View commit details

     Copy full SHA for 7292a64

     View code at this pointBrowse repository at this point
3. Commits on Oct 26, 2026

   • Show one state machine diagram per state set (#163)

     Show description for 083e4db
     

     CatarinaGamboa

     and

     claude

     authored
     083e4dbView commit details

     Copy full SHA for 083e4db

     View code at this pointBrowse repository at this point

   • Put the error actions on the title line, collapse hints, and show hints as separate options (#165)

     Show description for a4cbd80
     

     CatarinaGamboa

     and

     claude

     authored
     a4cbd80View commit details

     Copy full SHA for a4cbd80

     View code at this pointBrowse repository at this point
4. Commits on Oct 25, 2026

   • Show the verifier's states of a state error on the state machine (#160)

     Show description for f1c258a
     

     CatarinaGamboa

     and

     claude

     authored
     f1c258aView commit details

     Copy full SHA for f1c258a

     View code at this pointBrowse repository at this point
5. Commits on Oct 7, 2026

   • Add language server unit tests (#141)

     Show description for b8ae866
     

     rcosta358

     and

     codex

     authored
     b8ae866View commit details

     Copy full SHA for b8ae866

     View code at this pointBrowse repository at this point
6. Loading