Commits

Commit history

1. Commits on Nov 12, 2026

   • Release 0.1.2 (#204)

     Show description for dfa41da
     

     CatarinaGamboa

     and

     claude

     authored
     dfa41daView commit details

     Copy full SHA for dfa41da

     Browse repository at this point

   • Problems says what is wrong, hover details by setting, a tab for showView (#203)

     Show description for 27f8457
     

     CatarinaGamboa

     and

     claude

     authored
     27f8457View commit details

     Copy full SHA for 27f8457

     Browse repository at this point

   • Release 0.1.1 (#202)

     Show description for c1f0555
     CatarinaGamboa

     authored
     c1f0555View commit details

     Copy full SHA for c1f0555

     Browse repository at this point

   • Hints out of the hover by setting, and a usage log of the view for user studies (#201)

     Show description for bdc30fe
     

     CatarinaGamboa

     and

     claude

     authored
     bdc30feView commit details

     Copy full SHA for bdc30fe

     Browse repository at this point
2. Commits on Nov 11, 2026

   • Release 0.1.0 (#200)

     Show description for c416ba7
     

     CatarinaGamboa

     and

     claude

     authored
     c416ba7View commit details

     Copy full SHA for c416ba7

     Browse repository at this point

   • 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

     Browse repository at this point

   • Show the error's origin, counterexample and hints in the editor hover as markdown, and code in the view as in the hover (#198)

     Show description for 4794132
     

     CatarinaGamboa

     and

     claude

     authored
     4794132View commit details

     Copy full SHA for 4794132

     Browse 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

     Browse repository at this point

   • List Found as facts and show only readable simplification steps (#185)

     Show description for 1922f93
     

     CatarinaGamboa

     and

     claude

     authored
     1922f93View commit details

     Copy full SHA for 1922f93

     Browse 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

     Browse repository at this point

   • Smoke test: do not wait for a verification the server does not start (#194)

     Show description for e333873
     

     CatarinaGamboa

     and

     claude

     authored
     e333873View commit details

     Copy full SHA for e333873

     Browse 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

     Browse 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

     Browse repository at this point

   • Show the message notes and the counterexample in the hover (#190)

     Show description for 7886955
     

     CatarinaGamboa

     and

     claude

     authored
     7886955View commit details

     Copy full SHA for 7886955

     Browse repository at this point

   • Wrap the Verification panel at spaces and operators, one conjunct per line (#189)

     Show description for c218968
     

     CatarinaGamboa

     and

     claude

     authored
     c218968View commit details

     Copy full SHA for c218968

     Browse repository at this point

   • State Machine view: show a multi-set state error in the set that is wrong (#182)

     Show description for a87b171
     

     CatarinaGamboa

     and

     claude

     authored
     a87b171View commit details

     Copy full SHA for a87b171

     Browse repository at this point
3. Commits on Nov 10, 2026

   • Label a named state set's diagram with its name (#178)

     Show description for 69b6860
     

     CatarinaGamboa

     and

     claude

     authored
     69b6860View commit details

     Copy full SHA for 69b6860

     Browse repository at this point

   • Show a subclass's call on the state set it inherits from a superclass's spec (#174)

     Show description for 123cda0
     

     CatarinaGamboa

     and

     claude

     authored
     123cda0View commit details

     Copy full SHA for 123cda0

     Browse repository at this point

   • 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

     Browse repository at this point
4. Commits on Oct 28, 2026

   • Collapse the unrelated methods when focusing on a state error, listed on hover (#171)

     Show description for 80bed18
     

     CatarinaGamboa

     and

     claude

     authored
     80bed18View commit details

     Copy full SHA for 80bed18

     Browse repository at this point
5. Commits on Oct 27, 2026

   • Draw entry transitions on the state machine (#169)

     Show description for 1be8331
     

     CatarinaGamboa

     and

     claude

     authored
     1be8331View commit details

     Copy full SHA for 1be8331

     Browse repository at this point

   • Name state errors as a compiler would on the state machine (#168)

     Show description for d92f95f
     

     CatarinaGamboa

     and

     claude

     authored
     d92f95fView commit details

     Copy full SHA for d92f95f

     Browse repository at this point
6. Commits on Oct 26, 2026

   • Show the transition conditions on the state machine by default (#167)

     Show description for ca63ad2
     

     CatarinaGamboa

     and

     claude

     authored
     ca63ad2View commit details

     Copy full SHA for ca63ad2

     Browse repository at this point

   • Fade dimmed diagram parts less in light themes and count errors on Verification (#166)

     Show description for 9e15d24
     

     CatarinaGamboa

     and

     claude

     authored
     9e15d24View commit details

     Copy full SHA for 9e15d24

     Browse repository at this point

   • 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

     Browse 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

     Browse repository at this point

   • Keep the stepper and View error when a state error cannot be marked, and put State Machine next to Verification (#161)

     Show description for 7b6a3bd
     

     CatarinaGamboa

     and

     claude

     authored
     7b6a3bdView commit details

     Copy full SHA for 7b6a3bd

     Browse repository at this point

   • Show state errors in the State Machine view (#159)

     Show description for 0730892
     

     CatarinaGamboa

     and

     claude

     authored
     0730892View commit details

     Copy full SHA for 0730892

     Browse repository at this point
7. 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

     Browse repository at this point
8. Commits on Oct 24, 2026

   • Focus the state machine on the rejected call (#158)

     Show description for 34d7611
     

     CatarinaGamboa

     and

     claude

     authored
     34d7611View commit details

     Copy full SHA for 34d7611

     Browse repository at this point
9. Commits on Oct 20, 2026

   • Add a first-install LiquidJava walkthrough (#150)

     Show description for 6b10158
     

     rcosta358

     and

     codex

     authored
     6b10158View commit details

     Copy full SHA for 6b10158

     Browse repository at this point

   • Use liquidjava-fsm 0.1.3 for static factory transitions (#154)

     Show description for 93db5e3
     

     CatarinaGamboa

     and

     claude

     authored
     93db5e3View commit details

     Copy full SHA for 93db5e3

     Browse repository at this point

   • Improve binder underlines and hover styling (#153)

     Show description for f1e7a55
     

     rcosta358

     and

     codex

     authored
     f1e7a55View commit details

     Copy full SHA for f1e7a55

     Browse repository at this point

   • Add implication arrows after verification predicates (#152)

     Show description for 0dff861
     

     rcosta358

     and

     codex

     authored
     0dff861View commit details

     Copy full SHA for 0dff861

     Browse repository at this point

   • Show constructor signatures on state machine arrows (#120)

     Show description for e46f8c0
     

     CatarinaGamboa

     and

     claude

     authored
     e46f8c0View commit details

     Copy full SHA for e46f8c0

     Browse repository at this point