Commits

Commit history

1. Commits on Feb 15, 2026

   • Remove Fields Implicit Null Refinement

     rcosta358

     committed
     c739e5fView commit details

     Copy full SHA for c739e5f

     View code at this pointBrowse repository at this point

   • Change `CorrectNullChecks` Test

     rcosta358

     committed
     31bd897View commit details

     Copy full SHA for 31bd897

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

   • Merge branch 'main' into null-support

     rcosta358

     committed
     d8e500dView commit details

     Copy full SHA for d8e500d

     View code at this pointBrowse repository at this point

   • Add Boxed Types Support (#149)

     rcosta358

     authored
     3fefa2fView commit details

     Copy full SHA for 3fefa2f

     View code at this pointBrowse repository at this point

   • Remove Boxed Types

     rcosta358

     committed
     8998f23View commit details

     Copy full SHA for 8998f23

     View code at this pointBrowse repository at this point
3. Commits on Feb 12, 2026

   • Merge branch 'main' into null-support

     rcosta358

     committed
     e959ce6View commit details

     Copy full SHA for e959ce6

     View code at this pointBrowse repository at this point

   • Mark Uninitialized Fields as Null

     rcosta358

     committed
     aef5189View commit details

     Copy full SHA for aef5189

     View code at this pointBrowse repository at this point
4. 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
5. Commits on Feb 7, 2026

   • Add Tests

     rcosta358

     committed
     c2ae323View commit details

     Copy full SHA for c2ae323

     View code at this pointBrowse repository at this point
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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