GeezerVison

Commit history

1. Commits on Nov 11, 2026

   • 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

   • 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
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
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

   • 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

   • 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
6. Commits on Nov 4, 2026

   • 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

   • 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

   • 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

     View code at this pointBrowse repository at this point
7. Commits on Nov 3, 2026

   • Give state hints when the state set or methods come from the receiver's supertypes (#464)

     Show description for dc1a63f
     

     CatarinaGamboa

     and

     claude

     authored
     dc1a63fView commit details

     Copy full SHA for dc1a63f

     View code at this pointBrowse repository at this point

   • Drop true binders the error does not need and write fields as in code (#459)

     Show description for 70edf72
     

     CatarinaGamboa

     and

     claude

     authored
     70edf72View commit details

     Copy full SHA for 70edf72

     View code at this pointBrowse repository at this point

   • Suggest only calls allowed in any state when the receiver's state is unknown (#458)

     Show description for 48ef72d
     

     CatarinaGamboa

     and

     claude

     authored
     48ef72dView commit details

     Copy full SHA for 48ef72d

     View code at this pointBrowse repository at this point

   • Keep the values expected depends on in the counterexample (#460)

     Show description for 00cdb11
     

     CatarinaGamboa

     and

     claude

     authored
     00cdb11View commit details

     Copy full SHA for 00cdb11

     View code at this pointBrowse repository at this point

   • Compute loop typestates as a fixpoint over iterations (#434)

     Show description for 0053074
     

     CatarinaGamboa

     and

     claude

     authored
     0053074View commit details

     Copy full SHA for 0053074

     View code at this pointBrowse repository at this point
8. Commits on Oct 29, 2026

   • Build char literals directly instead of parsing their text (#447)

     Show description for 19991d3
     

     CatarinaGamboa

     and

     claude

     authored
     19991d3View commit details

     Copy full SHA for 19991d3

     View code at this pointBrowse repository at this point

   • Walk to an ancestor's constructor spec through JDK bytecode delegation (#433)

     Show description for f7f366c
     

     CatarinaGamboa

     and

     claude

     authored
     f7f366cView commit details

     Copy full SHA for f7f366c

     View code at this pointBrowse repository at this point

   • Scope the type of `return` in state refinement checks (#441)

     Show description for 92963a7
     

     CatarinaGamboa

     and

     claude

     authored
     92963a7View commit details

     Copy full SHA for 92963a7

     View code at this pointBrowse repository at this point

   • Fix crashes on unresolved types and on empty for bodies (#432)

     Show description for 6f0239d
     

     CatarinaGamboa

     and

     claude

     authored
     6f0239dView commit details

     Copy full SHA for 6f0239d

     View code at this pointBrowse repository at this point
9. Commits on Oct 27, 2026

   • Rename the UNPROVABLE error category to UNKNOWN (#431)

     Show description for 1a506fe
     

     CatarinaGamboa

     and

     claude

     authored
     1a506feView commit details

     Copy full SHA for 1a506fe

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

    • Resolve Static Final Constants in Refinement Aliases (#423)

      Show description for 0d489e1
      

      CatarinaGamboa

      and

      claude

      authored
      0d489e1View commit details

      Copy full SHA for 0d489e1

      View code at this pointBrowse repository at this point
11. Commits on Oct 24, 2026

    • Attach the receiver's states to state refinement errors (#421)

      Show description for 440097e
      

      CatarinaGamboa

      and

      claude

      authored
      440097eView commit details

      Copy full SHA for 440097e

      View code at this pointBrowse repository at this point

    • Fix crashes on enum methods, varargs calls and calls on a call result (#420)

      Show description for b3a4e4a
      

      CatarinaGamboa

      and

      claude

      authored
      b3a4e4aView commit details

      Copy full SHA for b3a4e4a

      View code at this pointBrowse repository at this point

    • Point out the argument that decided a state a call does not allow (#419)

      Show description for d3e00be
      

      CatarinaGamboa

      and

      claude

      authored
      d3e00beView commit details

      Copy full SHA for d3e00be

      View code at this pointBrowse repository at this point

    • Label errors with the kind of mistake they show (#418)

      Show description for 628a9ef
      

      CatarinaGamboa

      and

      claude

      authored
      628a9efView commit details

      Copy full SHA for 628a9ef

      View code at this pointBrowse repository at this point

    • Land the rest of the state hints stack (#412, #413, #414) (#417)

      Show description for 69895fa
      

      CatarinaGamboa

      and

      claude

      authored
      69895faView commit details

      Copy full SHA for 69895fa

      View code at this pointBrowse repository at this point