Commits

Commit history

1. Commits on Oct 13, 2026

   • Add regression tests for record methods checked against an external spec (#342)

     Show description for dc7381b
     

     CatarinaGamboa

     and

     claude

     committed
     dc7381bView commit details

     Copy full SHA for dc7381b

     View code at this pointBrowse repository at this point

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

   • Preserve outer field refinements across nested classes (#326)

     rcosta358

     authored
     a50974fView commit details

     Copy full SHA for a50974f

     View code at this pointBrowse repository at this point

   • Preserve refinement on forward declared field reads (#325)

     Show description for 69a0541
     rcosta358

     authored
     69a0541View commit details

     Copy full SHA for 69a0541

     View code at this pointBrowse repository at this point

   • Assume loop conditions in loop bodies with sound loop havoc (#320)

     Show description for d620726
     

     CatarinaGamboa

     and

     claude

     authored
     d620726View commit details

     Copy full SHA for d620726

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

   • Keep the meaning of enum and static constants compared in conditions (#319)

     Show description for 0472025
     

     CatarinaGamboa

     and

     claude

     authored
     0472025View commit details

     Copy full SHA for 0472025

     View code at this pointBrowse repository at this point

   • Register Field Contracts Before Forward Declared Writes (#314)

     rcosta358

     authored
     dd02e99View commit details

     Copy full SHA for dd02e99

     View code at this pointBrowse repository at this point

   • Exclude Static Final Constants from Instance Field Ghosts (#313)

     rcosta358

     authored
     6d87ec5View commit details

     Copy full SHA for 6d87ec5

     View code at this pointBrowse repository at this point

   • Treat results of methods without refinements as unconstrained in operations (#312)

     Show description for fbfb4e2
     

     CatarinaGamboa

     and

     claude

     authored
     fbfb4e2View commit details

     Copy full SHA for fbfb4e2

     View code at this pointBrowse repository at this point

   • Treat null literals as carrying no information instead of failing (#311)

     Show description for 03a15b1
     

     CatarinaGamboa

     and

     claude

     authored
     03a15b1View commit details

     Copy full SHA for 03a15b1

     View code at this pointBrowse repository at this point
6. Commits on Sep 30, 2026

   • Improve Test Suite (#293)

     rcosta358

     authored
     51ad687View commit details

     Copy full SHA for 51ad687

     View code at this pointBrowse repository at this point
7. Commits on Sep 9, 2026

   • Add Hints for Unconstrained Refinements (#288)

     rcosta358

     authored
     79b8cd3View commit details

     Copy full SHA for 79b8cd3

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

   • Release liquidjava-verifier 0.0.33

     rcosta358

     committed
     5128b3eView commit details

     Copy full SHA for 5128b3e

     View code at this pointBrowse repository at this point
9. Commits on Aug 19, 2026

   • Release liquidjava-api 0.0.7

     rcosta358

     committed
     1d7a79aView commit details

     Copy full SHA for 1d7a79a

     View code at this pointBrowse repository at this point
10. Commits on Aug 14, 2026

    • Filter & Sort Counterexamples by Binders (#272)

      rcosta358

      authored
      aa48282View commit details

      Copy full SHA for aa48282

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

    • Remove Unused Imports (#286)

      rcosta358

      authored
      4be3bb1View commit details

      Copy full SHA for 4be3bb1

      View code at this pointBrowse repository at this point