Commits

Commit history

1. Commits on Oct 29, 2026

   • Simplify the loop typestate code

     Show description for cb1a49d
     

     CatarinaGamboa

     and

     claude

     committed
     cb1a49dView commit details

     Copy full SHA for cb1a49d

     View code at this pointBrowse repository at this point

   • Track the state of an object in none of the states of a set in loops

     Show description for 606839d
     

     CatarinaGamboa

     and

     claude

     committed
     606839dView commit details

     Copy full SHA for 606839d

     View code at this pointBrowse repository at this point

   • Test the labelled-block if-join, and pin the loop jump fallback

     Show description for de8e96c
     

     CatarinaGamboa

     and

     claude

     committed
     de8e96cView commit details

     Copy full SHA for de8e96c

     View code at this pointBrowse repository at this point

   • Recompute the metadata of a loop's elements in each check

     Show description for 0149285
     

     CatarinaGamboa

     and

     claude

     committed
     0149285View commit details

     Copy full SHA for 0149285

     View code at this pointBrowse repository at this point

   • Check each loop iteration from the same facts, and follow only recorded jumps

     Show description for f1fd0f5
     

     CatarinaGamboa

     and

     claude

     committed
     f1fd0f5View commit details

     Copy full SHA for f1fd0f5

     View code at this pointBrowse repository at this point

   • Substitute call arguments in state predicates in one place

     Show description for 5ea9c03
     

     CatarinaGamboa

     and

     claude

     committed
     5ea9c03View commit details

     Copy full SHA for 5ea9c03

     View code at this pointBrowse repository at this point

   • Compute the typestate at a loop head as a fixpoint over its iterations

     Show description for 11fc155
     

     CatarinaGamboa

     and

     claude

     committed
     11fc155View commit details

     Copy full SHA for 11fc155

     View code at this pointBrowse repository at this point

   • Allow a state-changing call from a union of its entry states

     Show description for 28cc19c
     

     CatarinaGamboa

     and

     claude

     committed
     28cc19cView commit details

     Copy full SHA for 28cc19c

     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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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

   • Isolate deferred callback state from lambda creation (#386)

     Show description for 9addae1
     CatarinaGamboa

     authored
     9addae1View commit details

     Copy full SHA for 9addae1

     View code at this pointBrowse repository at this point

   • Verify static and default interface method bodies (#385)

     Show description for 26ea1c8
     CatarinaGamboa

     authored
     26ea1c8View commit details

     Copy full SHA for 26ea1c8

     View code at this pointBrowse repository at this point

   • Check current receiver typestate across loops (#384)

     Show description for 80bdd78
     CatarinaGamboa

     authored
     80bdd78View commit details

     Copy full SHA for 80bdd78

     View code at this pointBrowse repository at this point

   • Fix verifier reference equality across recorded upcasts (#383)

     Show description for 9fb4cca
     CatarinaGamboa

     authored
     9fb4ccaView commit details

     Copy full SHA for 9fb4cca

     View code at this pointBrowse repository at this point

   • Preserve skipped paths for boolean if conditions (#382)

     Show description for 37c3594
     CatarinaGamboa

     authored
     37c3594View commit details

     Copy full SHA for 37c3594

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

   • Combine try, catch and finally blocks soundly (#366)

     Show description for dcfc4eb
     

     CatarinaGamboa

     and

     claude

     authored
     dcfc4ebView commit details

     Copy full SHA for dcfc4eb

     View code at this pointBrowse repository at this point