Commits

Commit history

1. Commits on Aug 11, 2026

   • Fix Refinements After Early Return (#277)

     rcosta358

     authored
     db07738View commit details

     Copy full SHA for db07738

     View code at this pointBrowse repository at this point

   • Fix Instance Variable Leak Between Methods (#276)

     rcosta358

     authored
     d5ae6beView commit details

     Copy full SHA for d5ae6be

     View code at this pointBrowse repository at this point

   • Fix Field Access (#275)

     rcosta358

     authored
     cdd3c0fView commit details

     Copy full SHA for cdd3c0f

     View code at this pointBrowse repository at this point
2. Commits on Jun 13, 2026

   • Fix StateSet in Interface without ExternalRefinements (#242)

     rcosta358

     authored
     f3aaaa4View commit details

     Copy full SHA for f3aaaa4

     View code at this pointBrowse repository at this point

   • Get Refinements needs to visit the variable first (#252)

     Show description for efa5a0f
     CatarinaGamboa

     authored
     efa5a0fView commit details

     Copy full SHA for efa5a0f

     View code at this pointBrowse repository at this point
3. Commits on Jun 9, 2026

   • Add more complex examples to test suite (#248)

     Show description for 29b1d94
     CatarinaGamboa

     authored
     29b1d94View commit details

     Copy full SHA for 29b1d94

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

   • Allow interfaces to be also annotated with external refinements (#244)

     Show description for 9b3276e
     CatarinaGamboa

     authored
     9b3276eView commit details

     Copy full SHA for 9b3276e

     View code at this pointBrowse repository at this point
5. Commits on Jun 1, 2026

   • Implicit Constructor Refinements (#236)

     rcosta358

     authored
     31caa2cView commit details

     Copy full SHA for 31caa2c

     View code at this pointBrowse repository at this point
6. Commits on May 28, 2026

   • Refer return values in StateRefinements (#233)

     Show description for c151570
     

     CatarinaGamboa

     and

     rcosta358

     authored
     c151570View commit details

     Copy full SHA for c151570

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

   • Operator Assignment Support (#214)

     rcosta358

     authored
     b98a110View commit details

     Copy full SHA for b98a110

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

   • Return implies state (#212)

     Show description for 25cba58
     CatarinaGamboa

     authored
     25cba58View commit details

     Copy full SHA for 25cba58

     View code at this pointBrowse repository at this point

   • Fix if condition with no refinement (#210)

     Show description for cd523df
     CatarinaGamboa

     authored
     cd523dfView commit details

     Copy full SHA for cd523df

     View code at this pointBrowse repository at this point
9. Commits on May 6, 2026

   • Support for class Constants (#207)

     Show description for 46f6922
     

     3 peopleauthored
     46f6922View commit details

     Copy full SHA for 46f6922

     View code at this pointBrowse repository at this point
10. Commits on May 5, 2026

    • Fix Operator Precedence (#209)

      rcosta358

      authored
      0240947View commit details

      Copy full SHA for 0240947

      View code at this pointBrowse repository at this point

    • Unsatisfiable Refinement Warning (#202)

      rcosta358

      authored
      19ebba1View commit details

      Copy full SHA for 19ebba1

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

    • Refactor Refinement Predicate (#205)

      rcosta358

      authored
      4090430View commit details

      Copy full SHA for 4090430

      View code at this pointBrowse repository at this point

    • Add Missing `this` Binding + Method Checking Ordering (#190)

      rcosta358

      authored
      958793cView commit details

      Copy full SHA for 958793c

      View code at this pointBrowse repository at this point

    • Added enum types and verification (#168)

      cheestree

      authored
      a3b04c6View commit details

      Copy full SHA for a3b04c6

      View code at this pointBrowse repository at this point
12. Commits on Mar 30, 2026

    • Improve test suite (#177)

      cheestree

      authored
      c68a166View commit details

      Copy full SHA for c68a166

      View code at this pointBrowse repository at this point
13. Commits on Mar 28, 2026

    • Fix Wildcard Import Annotation Resolution (#192)

      rcosta358

      authored
      0836fc5View commit details

      Copy full SHA for 0836fc5

      View code at this pointBrowse repository at this point

    • Preserve State in State Refinements without Postcondition (#191)

      rcosta358

      authored
      313cfc3View commit details

      Copy full SHA for 313cfc3

      View code at this pointBrowse repository at this point

    • Fix Self-Referential Assignments (#178)

      rcosta358

      authored
      ed68be2View commit details

      Copy full SHA for ed68be2

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

    • Logic for method overload with different types (#172)

      Show description for 848eeb5
      

      3 peopleauthored
      848eeb5View commit details

      Copy full SHA for 848eeb5

      View code at this pointBrowse repository at this point
15. Commits on Feb 23, 2026

    • Context History Tracking (#155)

      rcosta358

      authored
      9eb34e5View commit details

      Copy full SHA for 9eb34e5

      View code at this pointBrowse repository at this point

    • Add Support for Char Literals (#153)

      rcosta358

      authored
      1bd08b4View commit details

      Copy full SHA for 1bd08b4

      View code at this pointBrowse repository at this point

    • Fix NullPointerException in `MethodsFunctionsChecker` (#150)

      rcosta358

      authored
      70ccc2fView commit details

      Copy full SHA for 70ccc2f

      View code at this pointBrowse repository at this point
16. Commits on Feb 13, 2026

    • Add Boxed Types Support (#149)

      rcosta358

      authored
      3fefa2fView commit details

      Copy full SHA for 3fefa2f

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

    • Add Ghost Dot Syntax (#142)

      rcosta358

      authored
      3562af1View commit details

      Copy full SHA for 3562af1

      View code at this pointBrowse repository at this point

    • Fix Annotation Position Lookup (#141)

      rcosta358

      authored
      e7933eaView commit details

      Copy full SHA for e7933ea

      View code at this pointBrowse repository at this point
18. Commits on Jan 30, 2026

    • Add support for Long operations inside predicates (#139)

      Show description for 1b290cb
      CatarinaGamboa

      authored
      1b290cbView commit details

      Copy full SHA for 1b290cb

      View code at this pointBrowse repository at this point
19. Commits on Dec 4, 2025

    • Fix Alias & Ghost Argument Mismatch (#127)

      rcosta358

      authored
      883171cView commit details

      Copy full SHA for 883171c

      View code at this pointBrowse repository at this point

    • Check Expected Errors in Tests (#126)

      rcosta358

      authored
      f59d1c4View commit details

      Copy full SHA for f59d1c4

      View code at this pointBrowse repository at this point
20. Commits on Nov 16, 2025

    • Multiple Errors (#121)

      rcosta358

      authored
      a05507fView commit details

      Copy full SHA for a05507f

      View code at this pointBrowse repository at this point
21. Commits on Nov 14, 2025

    • Refactor Diagnostics (#119)

      rcosta358

      authored
      9b14c3fView commit details

      Copy full SHA for 9b14c3f

      View code at this pointBrowse repository at this point
22. Commits on Nov 13, 2025

    • Replace `ErrorEmitter` with `LJDiagnostics` (#110)

      rcosta358

      authored
      b4b41e0View commit details

      Copy full SHA for b4b41e0

      View code at this pointBrowse repository at this point