Commits

Commit history

1. Commits on Dec 10, 2025

   • Simplification Fixes (#125)

     rcosta358

     authored
     8685353View commit details

     Copy full SHA for 8685353

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

   • Use Annotation Position in `ExternalClassNotFoundWarning` (#130)

     rcosta358

     authored
     6e9d4feView commit details

     Copy full SHA for 6e9d4fe

     View code at this pointBrowse repository at this point

   • 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

   • Fix Java Compilation Warning (#128)

     rcosta358

     authored
     8e1ff89View commit details

     Copy full SHA for 8e1ff89

     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
3. Commits on Nov 21, 2025

   • Java Compilation Warning (#124)

     rcosta358

     authored
     d4ef259View commit details

     Copy full SHA for d4ef259

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

   • Error Refactoring (#123)

     rcosta358

     authored
     08af804View commit details

     Copy full SHA for 08af804

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

   • Cleanup (#122)

     rcosta358

     authored
     308ad81View commit details

     Copy full SHA for 308ad81

     View code at this pointBrowse repository at this point
6. 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
7. 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
8. Commits on Nov 13, 2025

   • Prevent Index Out-Of-Bounds in Function Call With Empty Args (#117)

     rcosta358

     authored
     87a2153View commit details

     Copy full SHA for 87a2153

     View code at this pointBrowse repository at this point

   • Fix Single Equality Expression Simplification (#113)

     rcosta358

     authored
     01a39ffView commit details

     Copy full SHA for 01a39ff

     View code at this pointBrowse repository at this point

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

     rcosta358

     authored
     b4b41e0View commit details

     Copy full SHA for b4b41e0

     View code at this pointBrowse repository at this point
9. Commits on Nov 10, 2025

   • Code Refactoring (#109)

     rcosta358

     authored
     11a9263View commit details

     Copy full SHA for 11a9263

     View code at this pointBrowse repository at this point
10. Commits on Nov 8, 2025

    • Check If Refinement Predicates Are Boolean Expressions (#85)

      rcosta358

      authored
      1ca6aa2View commit details

      Copy full SHA for 1ca6aa2

      View code at this pointBrowse repository at this point

    • 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
11. 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

    • Add Diagnostics Classes (#81)

      rcosta358

      authored
      31b657dView commit details

      Copy full SHA for 31b657d

      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
12. 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
13. Commits on Oct 29, 2025

    • Minor Fixes

      rcosta358

      committed
      0ad50ccView commit details

      Copy full SHA for 0ad50cc

      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

    • Add Existence Checks to Classes & Methods in External Refinements (#66)

      rcosta358

      authored
      b57ae7dView commit details

      Copy full SHA for b57ae7d

      View code at this pointBrowse repository at this point

    • Skip Null Literals in RefinementTypeChecker (#63)

      rcosta358

      authored
      758650dView commit details

      Copy full SHA for 758650d

      View code at this pointBrowse repository at this point

    • Fix Refined Method Overloading (#62)

      rcosta358

      authored
      7bb6d67View commit details

      Copy full SHA for 7bb6d67

      View code at this pointBrowse repository at this point

    • Decouple Z3 From Expressions (#60)

      rcosta358

      authored
      aed9efdView commit details

      Copy full SHA for aed9efd

      View code at this pointBrowse repository at this point

    • Simplify Expressions (#59)

      rcosta358

      authored
      d3c2dbbView commit details

      Copy full SHA for d3c2dbb

      View code at this pointBrowse repository at this point

    • Multiple args (#49)

      rodrigomilisse

      authored
      6018353View commit details

      Copy full SHA for 6018353

      View code at this pointBrowse repository at this point

    • Ghost boolean (#46)

      rodrigomilisse

      authored
      69b00caView commit details

      Copy full SHA for 69b00ca

      View code at this pointBrowse repository at this point
14. Commits on Sep 28, 2025

    • Check If Path Exists in CommandLineLauncher (#55)

      rcosta358

      authored
      38ce0b8View commit details

      Copy full SHA for 38ce0b8

      View code at this pointBrowse repository at this point

    • Show Error If State Name Is Uppercase (#53)

      Show description for d80dcb1
      rcosta358

      authored
      d80dcb1View commit details

      Copy full SHA for d80dcb1

      View code at this pointBrowse repository at this point

    • Qualify Ghost Names (#52)

      rcosta358

      authored
      88f2c7fView commit details

      Copy full SHA for 88f2c7f

      View code at this pointBrowse repository at this point
15. Commits on Sep 24, 2025

    • Merge pull request #54 from rcosta358/analyze-all-packages

      Show description for 471cb54
      rcosta358

      authored
      471cb54View commit details

      Copy full SHA for 471cb54

      View code at this pointBrowse repository at this point
16. Commits on Apr 10, 2025

    • formatter (#40)

      CatarinaGamboa

      authored
      79afe64View commit details

      Copy full SHA for 79afe64

      View code at this pointBrowse repository at this point