Commits

Commit history

1. 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
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
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

   • 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
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 14, 2026

   • Add regression tests for records verified with an external spec (#394)

     Show description for 1c6807b
     

     CatarinaGamboa

     and

     claude

     authored
     1c6807bView commit details

     Copy full SHA for 1c6807b

     View code at this pointBrowse repository at this point
8. 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
9. 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
10. 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
11. 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