Commits

Commit history

1. Commits on Nov 11, 2026

   • Leave out the returned-value note when it names an argument by its parameter

     Show description for fa84640
     

     CatarinaGamboa

     and

     claude

     committed
     fa84640View commit details

     Copy full SHA for fa84640

     View code at this pointBrowse repository at this point

   • Write the returned-value note as Origin: <File>:<line>, <call> guarantees ...

     Show description for 7b0cf52
     

     CatarinaGamboa

     and

     claude

     committed
     7b0cf52View commit details

     Copy full SHA for 7b0cf52

     View code at this pointBrowse repository at this point

   • Never take a built-in function for a ghost of the same name

     Show description for b7df716
     

     CatarinaGamboa

     and

     claude

     committed
     b7df716View commit details

     Copy full SHA for b7df716

     View code at this pointBrowse repository at this point

   • Keep a ghost definition when an alias may apply the ghost

     Show description for edaba46
     

     CatarinaGamboa

     and

     claude

     committed
     edaba46View commit details

     Copy full SHA for edaba46

     View code at this pointBrowse repository at this point

   • Keep a ghost definition when the ghost is applied anywhere else

     Show description for 9d2d9e7
     

     CatarinaGamboa

     and

     claude

     committed
     9d2d9e7View commit details

     Copy full SHA for 9d2d9e7

     View code at this pointBrowse repository at this point

   • Drop a ghost definition only when nothing else constrains that ghost

     Show description for 4c1890c
     

     CatarinaGamboa

     and

     claude

     committed
     4c1890cView commit details

     Copy full SHA for 4c1890c

     View code at this pointBrowse repository at this point

   • Say what a call's return refinement guarantees about an argument it gives

     Show description for 563dfb6
     

     CatarinaGamboa

     and

     claude

     committed
     563dfb6View commit details

     Copy full SHA for 563dfb6

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse repository at this point