Commits

Commit history

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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

   • 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

   • Fix Refined Method Overloading (#62)

     rcosta358

     authored
     7bb6d67View commit details

     Copy full SHA for 7bb6d67

     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
9. Commits on Sep 28, 2025

   • Qualify Ghost Names (#52)

     rcosta358

     authored
     88f2c7fView commit details

     Copy full SHA for 88f2c7f

     View code at this pointBrowse repository at this point
10. Commits on Dec 12, 2024

    • [chore] reformat everything

      GUIpsp

      committed
      012a813View commit details

      Copy full SHA for 012a813

      View code at this pointBrowse repository at this point
11. Commits on Dec 1, 2024

    • Use the Palantir formatter in pre-commit

      Show description for aad179d
      GUIpsp

      committed
      aad179dView commit details

      Copy full SHA for aad179d

      View code at this pointBrowse repository at this point
12. Commits on Nov 29, 2024

    • Improve tests and testing framework including Github action(#35)

      Show description for 321ec21
      CatarinaGamboa

      authored
      321ec21View commit details

      Copy full SHA for 321ec21

      View code at this pointBrowse repository at this point
13. Commits on Dec 7, 2023

    • add trafficlight examples to the testSuite

      CatarinaGamboa

      committed
      fa65982View commit details

      Copy full SHA for fa65982

      View code at this pointBrowse repository at this point
14. Commits on Dec 6, 2023

    • more folder name changes to be more explicit

      CatarinaGamboa

      committed
      223b2b2View commit details

      Copy full SHA for 223b2b2

      View code at this pointBrowse repository at this point

    • rearrange organization of files

      CatarinaGamboa

      committed
      7fae8c7View commit details

      Copy full SHA for 7fae8c7

      View code at this pointBrowse repository at this point
15. Commits on Dec 5, 2023

    • change folder name from liquidjava to testSuite since all the tests are there

      CatarinaGamboa

      committed
      32c8352View commit details

      Copy full SHA for 32c8352

      View code at this pointBrowse repository at this point
16. Commits on Oct 28, 2023

    • Reorganized files

      alcides

      committed
      352f10eView commit details

      Copy full SHA for 352f10e

      View code at this pointBrowse repository at this point
17. Commits on Oct 26, 2023

    • Added Formatter

      alcides

      committed
      f9a8da3View commit details

      Copy full SHA for f9a8da3

      View code at this pointBrowse repository at this point
18. Loading