GeezerVison

Branch selector

Commit history

1. Commits on Nov 11, 2026

   • Release liquidjava-verifier 0.0.38

     Show description for e3b11c8
     

     CatarinaGamboa

     and

     claude

     committed
     e3b11c8View commit details

     Copy full SHA for e3b11c8

     Browse repository at this point

   • Do not link Found facts through an enum constant they only compare with (#534)

     Show description for e8660d1
     

     CatarinaGamboa

     and

     claude

     authored
     e8660d1View commit details

     Copy full SHA for e8660d1

     Browse repository at this point

   • Mark code in every message with backticks, and name the lines they refer to (#533)

     Show description for cfe9405
     

     CatarinaGamboa

     and

     claude

     authored
     cfe9405View commit details

     Copy full SHA for cfe9405

     Browse repository at this point

   • Fold ternaries that a fact of Found decides on an enum value (#531)

     Show description for ceee6be
     

     CatarinaGamboa

     and

     claude

     authored
     ceee6beView commit details

     Copy full SHA for ceee6be

     Browse repository at this point

   • Origin note: say what a call's return refinement guarantees about an argument it gives (#530)

     Show description for 590268e
     

     CatarinaGamboa

     and

     claude

     authored
     590268eView commit details

     Copy full SHA for 590268e

     Browse repository at this point

   • Origin note: say where the wrong state of a receiver comes from (#528)

     Show description for 070fb75
     

     CatarinaGamboa

     and

     claude

     authored
     070fb75View commit details

     Copy full SHA for 070fb75

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

   • From note: name an unrefined parameter as the unknown value's origin (#526)

     Show description for 920bf15
     

     CatarinaGamboa

     and

     claude

     authored
     920bf15View commit details

     Copy full SHA for 920bf15

     Browse repository at this point

   • Use found … but expected … for refinement errors, drop the general hint, declare every from (#525)

     Show description for 98fa854
     

     CatarinaGamboa

     and

     claude

     authored
     98fa854View commit details

     Copy full SHA for 98fa854

     Browse repository at this point

   • State hints: name only the state the call leads to, and no guard when a call sequence works (#524)

     Show description for c4c6ce1
     

     CatarinaGamboa

     and

     claude

     authored
     c4c6ce1View commit details

     Copy full SHA for c4c6ce1

     Browse repository at this point

   • Show states of named sets by their set in state hints and declared-here (#517)

     Show description for 538ac47
     

     CatarinaGamboa

     and

     claude

     authored
     538ac47View commit details

     Copy full SHA for 538ac47

     Browse repository at this point

   • Warn when a state set is named like a method of its class (#516)

     Show description for a464ff2
     

     CatarinaGamboa

     and

     claude

     authored
     a464ff2View commit details

     Copy full SHA for a464ff2

     Browse repository at this point

   • Release liquidjava-api 0.0.8 and liquidjava-verifier 0.0.37

     Show description for 3b6d47a
     

     CatarinaGamboa

     and

     claude

     committed
     3b6d47aView commit details

     Copy full SHA for 3b6d47a

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

   • Read a state value against the sets of the argument's subtypes too (#513)

     Show description for 44e6167
     

     CatarinaGamboa

     and

     claude

     authored
     44e6167View commit details

     Copy full SHA for 44e6167

     Browse repository at this point

   • Document named state sets and states written as values of their sets (#512)

     Show description for 70472eb
     

     CatarinaGamboa

     and

     claude

     authored
     70472ebView commit details

     Copy full SHA for 70472eb

     Browse repository at this point

   • Show the states of named sets as values of their sets in state errors (#511)

     Show description for 9d8ccad
     

     CatarinaGamboa

     and

     claude

     authored
     9d8ccadView commit details

     Copy full SHA for 9d8ccad

     Browse repository at this point

   • Accept a state written as a value of its set: phase(this) == open (#510)

     Show description for 7236063
     

     CatarinaGamboa

     and

     claude

     authored
     7236063View commit details

     Copy full SHA for 7236063

     Browse repository at this point

   • Register every ghost and state set before any spec is read (#508)

     Show description for 1b329ee
     

     CatarinaGamboa

     and

     claude

     authored
     1b329eeView commit details

     Copy full SHA for 1b329ee

     Browse repository at this point

   • Expand aliases before translating states (#507)

     Show description for 53f8b1d
     

     CatarinaGamboa

     and

     claude

     authored
     53f8b1dView commit details

     Copy full SHA for 53f8b1d

     Browse repository at this point

   • Named state sets: optional name on @StateSet (#498)

     Show description for 2c4f484
     

     CatarinaGamboa

     and

     claude

     authored
     2c4f484View commit details

     Copy full SHA for 2c4f484

     Browse repository at this point

   • Add a Relevant to Expected step to state errors (#495)

     Show description for fbc5e9f
     

     CatarinaGamboa

     and

     claude

     authored
     fbc5e9fView commit details

     Copy full SHA for fbc5e9f

     Browse repository at this point
4. Commits on Nov 6, 2026

   • Check each case of a switch from the state before it (#497)

     Show description for 8a03a74
     

     CatarinaGamboa

     and

     claude

     authored
     8a03a74View commit details

     Copy full SHA for 8a03a74

     Browse repository at this point

   • Treat an argument with no known refinement as unconstrained (#496)

     Show description for 8958c70
     

     CatarinaGamboa

     and

     claude

     authored
     8958c70View commit details

     Copy full SHA for 8958c70

     Browse repository at this point

   • Show variables by their name, with a line only to tell instances apart (#493)

     Show description for ae278d2
     

     CatarinaGamboa

     and

     claude

     authored
     ae278d2View commit details

     Copy full SHA for ae278d2

     Browse repository at this point
5. Commits on Nov 5, 2026

   • Show the definitions of the aliases a refinement error uses (#489)

     Show description for f44048f
     

     CatarinaGamboa

     and

     claude

     authored
     f44048fView commit details

     Copy full SHA for f44048f

     Browse repository at this point

   • Keep a static final constant's name in refinement errors (#490)

     Show description for 327a0d1
     

     CatarinaGamboa

     and

     claude

     authored
     327a0d1View commit details

     Copy full SHA for 327a0d1

     Browse repository at this point

   • Drop path conditions that expected does not depend on from Found (#487)

     Show description for 93c331c
     

     CatarinaGamboa

     and

     claude

     authored
     93c331cView commit details

     Copy full SHA for 93c331c

     Browse repository at this point

   • Write a call argument as the caller wrote it in refinement errors (#486)

     Show description for 9aa2467
     

     CatarinaGamboa

     and

     claude

     authored
     9aa2467View commit details

     Copy full SHA for 9aa2467

     Browse repository at this point

   • Show in Found only the facts about the values Expected constrains (#485)

     Show description for 2a9b40d
     

     CatarinaGamboa

     and

     claude

     authored
     2a9b40dView commit details

     Copy full SHA for 2a9b40d

     Browse repository at this point
6. Commits on Nov 4, 2026

   • Name only the state sets a suggested call sequence changes (#484)

     Show description for 26506ff
     

     CatarinaGamboa

     and

     claude

     authored
     26506ffView commit details

     Copy full SHA for 26506ff

     Browse repository at this point

   • Name refined call results after the method, as the other generated values (#483)

     Show description for 03b2d8b
     

     CatarinaGamboa

     and

     claude

     authored
     03b2d8bView commit details

     Copy full SHA for 03b2d8b

     Browse repository at this point

   • Name generated values after what they are instead of #fresh (#477)

     Show description for cd49fea
     

     CatarinaGamboa

     and

     claude

     authored
     cd49feaView commit details

     Copy full SHA for cd49fea

     Browse repository at this point

   • Drop the bare true row left at the end of Found (#476)

     Show description for c974821
     

     CatarinaGamboa

     and

     claude

     authored
     c974821View commit details

     Copy full SHA for c974821

     Browse repository at this point

   • Ask the solver only about the state sets a refinement names (#475)

     Show description for 4631bc2
     

     CatarinaGamboa

     and

     claude

     authored
     4631bc2View commit details

     Copy full SHA for 4631bc2

     Browse repository at this point

   • Suggest result checks and argument conditions in state hints (#474)

     Show description for 9e4b5e6
     

     CatarinaGamboa

     and

     claude

     authored
     9e4b5e6View commit details

     Copy full SHA for 9e4b5e6

     Browse repository at this point

   • Drop true rows for variables that another row of Found already shows (#472)

     Show description for 926f027
     

     CatarinaGamboa

     and

     claude

     authored
     926f027View commit details

     Copy full SHA for 926f027

     Browse repository at this point