Commits

Commit history

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. Commits on Nov 8, 2025

    • Skip String Literals in Typechecking (#89)

      rcosta358

      authored
      57ccfccView commit details

      Copy full SHA for 57ccfcc

      View code at this pointBrowse repository at this point
19. Commits on Nov 5, 2025

    • Handle Alias Syntax Errors (#79)

      rcosta358

      authored
      d906b45View commit details

      Copy full SHA for d906b45

      View code at this pointBrowse repository at this point

    • Fix Refined Method Overloading (#77)

      rcosta358

      authored
      ecea182View commit details

      Copy full SHA for ecea182

      View code at this pointBrowse repository at this point

    • Check Method Signatures in External Refinements (#76)

      rcosta358

      authored
      2916690View commit details

      Copy full SHA for 2916690

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

    • Fix Ghost Qualified Names (#74)

      rcosta358

      authored
      4724084View commit details

      Copy full SHA for 4724084

      View code at this pointBrowse repository at this point
21. Commits on Oct 29, 2025

    • Revert "Added test case for method overload error, for more robust testing."

      Show description for f0ab2f9
      rcosta358

      committed
      f0ab2f9View commit details

      Copy full SHA for f0ab2f9

      View code at this pointBrowse repository at this point

    • Added test case for method overload error, for more robust testing.

      rodrigomilisse

      committed
      f5a05a3View commit details

      Copy full SHA for f5a05a3

      View code at this pointBrowse repository at this point

    • Fix `this` Resolution in Parameter Refinements (#67)

      rcosta358

      authored
      72c1ea6View commit details

      Copy full SHA for 72c1ea6

      View code at this pointBrowse repository at this point