Commits

Commit history

1. Commits on Oct 24, 2026

   • Read old(this) in a precondition as the state before the call

     Show description for c048877
     

     CatarinaGamboa

     and

     claude

     committed
     c048877View commit details

     Copy full SHA for c048877

     View code at this pointBrowse repository at this point

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

   • Check typestate calls made directly on a constructor call (#361)

     Show description for 321a732
     

     CatarinaGamboa

     and

     claude

     authored
     321a732View commit details

     Copy full SHA for 321a732

     View code at this pointBrowse repository at this point

   • Apply external class specs to user subclasses (#354)

     Show description for 2e8d227
     

     CatarinaGamboa

     and

     claude

     authored
     2e8d227View commit details

     Copy full SHA for 2e8d227

     View code at this pointBrowse repository at this point

   • Skip records in the external-spec pass (#370)

     Show description for 5013598
     

     CatarinaGamboa

     and

     claude

     authored
     5013598View commit details

     Copy full SHA for 5013598

     View code at this pointBrowse repository at this point

   • Upgrade Spoon to 11.5.0 and default the compliance level to 21 (#368)

     Show description for 43023fc
     

     CatarinaGamboa

     and

     claude

     authored
     43023fcView commit details

     Copy full SHA for 43023fc

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

   • Treat catch parameters as variables with unknown state (#362)

     Show description for 9045ecd
     

     CatarinaGamboa

     and

     claude

     authored
     9045ecdView commit details

     Copy full SHA for 9045ecd

     View code at this pointBrowse repository at this point

   • Treat instanceof as an unknown boolean (#359)

     Show description for ef1603d
     

     CatarinaGamboa

     and

     claude

     authored
     ef1603dView commit details

     Copy full SHA for ef1603d

     View code at this pointBrowse repository at this point

   • Support length on arrays of any element type (#357)

     Show description for ffd51c6
     

     CatarinaGamboa

     and

     claude

     authored
     ffd51c6View commit details

     Copy full SHA for ffd51c6

     View code at this pointBrowse repository at this point

   • Model the implicit close() of try-with-resources (#358)

     Show description for a4fbebe
     

     CatarinaGamboa

     and

     claude

     authored
     a4fbebeView commit details

     Copy full SHA for a4fbebe

     View code at this pointBrowse repository at this point

   • Read Spoon compliance level from the project's pom.xml (#352)

     Show description for e054c42
     

     CatarinaGamboa

     and

     claude

     authored
     e054c42View commit details

     Copy full SHA for e054c42

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

   • Fold constant bitwise and shift operations, treat others as unknown (#351)

     Show description for ad083df
     

     CatarinaGamboa

     and

     claude

     authored
     ad083dfView commit details

     Copy full SHA for ad083df

     View code at this pointBrowse repository at this point

   • Fix Refinement Declaration Positions (#331)

     Show description for be47cb6
     

     rcosta358

     and

     codex

     authored
     be47cb6View commit details

     Copy full SHA for be47cb6

     View code at this pointBrowse repository at this point

   • Add SMT Unknown Error (#330)

     Show description for 0e44432
     rcosta358

     authored
     0e44432View commit details

     Copy full SHA for 0e44432

     View code at this pointBrowse repository at this point

   • Resolve inherited public constants in field reads (#329)

     rcosta358

     authored
     cc9f04fView commit details

     Copy full SHA for cc9f04f

     View code at this pointBrowse repository at this point

   • Fix collisions between same-named fields (#327)

     rcosta358

     authored
     e690903View commit details

     Copy full SHA for e690903

     View code at this pointBrowse repository at this point