Commits

Breadcrumbs

History for

onnull-support

User selector

All users

All time

Commit History

Commits on Feb 15, 2026

• Remove Fields Implicit Null Refinement

  rcosta358

  committed
  c739e5f

  Copy full SHA for c739e5f

• Change `CorrectNullChecks` Test

  rcosta358

  committed
  31bd897

  Copy full SHA for 31bd897

Commits on Feb 13, 2026

• Merge branch 'main' into null-support

  rcosta358

  committed
  d8e500d

  Copy full SHA for d8e500d

• Add Boxed Types Support (#149)

  rcosta358

  authored
  3fefa2f

  Copy full SHA for 3fefa2f

• Remove Boxed Types

  rcosta358

  committed
  8998f23

  Copy full SHA for 8998f23

Commits on Feb 12, 2026

• Merge branch 'main' into null-support

  rcosta358

  committed
  e959ce6

  Copy full SHA for e959ce6

• Mark Uninitialized Fields as Null

  rcosta358

  committed
  aef5189

  Copy full SHA for aef5189

Commits on Feb 11, 2026

• Add Ghost Dot Syntax (#142)

  rcosta358

  authored
  3562af1

  Copy full SHA for 3562af1

• Fix Annotation Position Lookup (#141)

  rcosta358

  authored
  e7933ea

  Copy full SHA for e7933ea

Commits on Feb 7, 2026

• Add Tests

  rcosta358

  committed
  c2ae323

  Copy full SHA for c2ae323

Commits on Jan 30, 2026

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

  Show description for 1b290cb
  CatarinaGamboa

  authored
  1b290cb

  Copy full SHA for 1b290cb

Commits on Dec 4, 2025

• Fix Alias & Ghost Argument Mismatch (#127)

  rcosta358

  authored
  883171c

  Copy full SHA for 883171c

• Check Expected Errors in Tests (#126)

  rcosta358

  authored
  f59d1c4

  Copy full SHA for f59d1c4

Commits on Nov 16, 2025

• Multiple Errors (#121)

  rcosta358

  authored
  a05507f

  Copy full SHA for a05507f

Commits on Nov 14, 2025

• Refactor Diagnostics (#119)

  rcosta358

  authored
  9b14c3f

  Copy full SHA for 9b14c3f

Commits on Nov 13, 2025

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

  rcosta358

  authored
  b4b41e0

  Copy full SHA for b4b41e0

Commits on Nov 10, 2025

• Update Links and Maven Configs (#108)

  rcosta358

  authored
  06f8437

  Copy full SHA for 06f8437

Commits on Nov 8, 2025

• Update groupId (#106)

  rcosta358

  authored
  5bf4eab

  Copy full SHA for 5bf4eab

• Skip String Literals in Typechecking (#89)

  rcosta358

  authored
  57ccfcc

  Copy full SHA for 57ccfcc

Commits on Nov 5, 2025

• Handle Alias Syntax Errors (#79)

  rcosta358

  authored
  d906b45

  Copy full SHA for d906b45

• Fix Refined Method Overloading (#77)

  rcosta358

  authored
  ecea182

  Copy full SHA for ecea182

• Check Method Signatures in External Refinements (#76)

  rcosta358

  authored
  2916690

  Copy full SHA for 2916690

Commits on Nov 4, 2025

• Fix Ghost Qualified Names (#74)

  rcosta358

  authored
  4724084

  Copy full SHA for 4724084

Commits on Oct 29, 2025

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

  Show description for f0ab2f9
  rcosta358

  committed
  f0ab2f9

  Copy full SHA for f0ab2f9

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

  rodrigomilisse

  committed
  f5a05a3

  Copy full SHA for f5a05a3

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

  rcosta358

  authored
  72c1ea6

  Copy full SHA for 72c1ea6

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

  rcosta358

  authored
  b57ae7d

  Copy full SHA for b57ae7d

• Fix Refined Method Overloading (#62)

  rcosta358

  authored
  7bb6d67

  Copy full SHA for 7bb6d67

• Maven Central Dependency (#61)

  rcosta358

  authored
  a99bad6

  Copy full SHA for a99bad6

• Multiple args (#49)

  rodrigomilisse

  authored
  6018353

  Copy full SHA for 6018353

• Ghost boolean (#46)

  rodrigomilisse

  authored
  69b00ca

  Copy full SHA for 69b00ca

Commits on Sep 28, 2025

• Qualify Ghost Names (#52)

  rcosta358

  authored
  88f2c7f

  Copy full SHA for 88f2c7f

Commits on Apr 10, 2025

• add missing dependency

  CatarinaGamboa

  committed
  9c56fa4

  Copy full SHA for 9c56fa4

Commits on Dec 12, 2024

• [chore] reformat everything

  GUIpsp

  committed
  012a813

  Copy full SHA for 012a813

Commits on Dec 1, 2024

• Use the Palantir formatter in pre-commit

  Show description for aad179d
  GUIpsp

  committed
  aad179d

  Copy full SHA for aad179d

Pagination

Previous

Next