Commits

Commit history

1. Commits on Nov 5, 2026

   • Write a call argument as the caller wrote it in refinement errors

     Show description for 0136a4b
     

     CatarinaGamboa

     and

     claude

     committed
     0136a4bView commit details

     Copy full SHA for 0136a4b

     View code at this pointBrowse repository at this point
2. 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

   • 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
3. 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
4. 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

   • Reuse solver results across verification runs (#430)

     Show description for c5ac281
     

     CatarinaGamboa

     and

     claude

     authored
     c5ac281View commit details

     Copy full SHA for c5ac281

     View code at this pointBrowse repository at this point
5. 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

   • Try Z3's simple solver before the default one (#424)

     Show description for 4a89df6
     

     CatarinaGamboa

     and

     claude

     authored
     4a89df6View commit details

     Copy full SHA for 4a89df6

     View code at this pointBrowse repository at this point
6. 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
7. Commits on Oct 24, 2026

   • Release liquidjava-verifier 0.0.36

     Show description for a61a1da
     

     CatarinaGamboa

     and

     claude

     committed
     a61a1daView commit details

     Copy full SHA for a61a1da

     View code at this pointBrowse repository at this point

   • 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

   • Check each branch of a conditional expression under its condition (#409)

     Show description for 157c37b
     

     CatarinaGamboa

     and

     claude

     authored
     157c37bView commit details

     Copy full SHA for 157c37b

     View code at this pointBrowse repository at this point

   • Join an if on the instances its condition read (#408)

     Show description for 0b7343a
     

     CatarinaGamboa

     and

     claude

     authored
     0b7343aView commit details

     Copy full SHA for 0b7343a

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

   • Suggest the calls that make a failing state transition verify (#411)

     Show description for ba44b18
     

     CatarinaGamboa

     and

     claude

     authored
     ba44b18View commit details

     Copy full SHA for ba44b18

     View code at this pointBrowse repository at this point

   • Store diagnostic hints as a list (#410)

     Show description for 2553ecd
     

     CatarinaGamboa

     and

     claude

     authored
     2553ecdView commit details

     Copy full SHA for 2553ecd

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

   • Check calls on a constructor call whose constructor has refined parameters (#407)

     Show description for 9c51147
     

     CatarinaGamboa

     and

     claude

     authored
     9c51147View commit details

     Copy full SHA for 9c51147

     View code at this pointBrowse repository at this point

   • Resolve field reads by declaring type and target object (#392)

     Show description for e0a6c81
     

     CatarinaGamboa

     and

     claude

     authored
     e0a6c81View commit details

     Copy full SHA for e0a6c81

     View code at this pointBrowse repository at this point

   • Treat operations and fields with unresolved types as unrefined (#391)

     Show description for 8f9e862
     

     CatarinaGamboa

     and

     claude

     authored
     8f9e862View commit details

     Copy full SHA for 8f9e862

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

    • Apply external contracts to inherited receiver methods (#387)

      Show description for ad055b4
      CatarinaGamboa

      authored
      ad055b4View commit details

      Copy full SHA for ad055b4

      View code at this pointBrowse repository at this point