Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 10, 2026

• Logic for method overload with different types (#172)

  Show description for 848eeb5
  

  3 peopleauthored
  848eeb5

  Copy full SHA for 848eeb5

Commits on Feb 23, 2026

• Context History Tracking (#155)

  rcosta358

  authored
  9eb34e5

  Copy full SHA for 9eb34e5

• Add Support for Char Literals (#153)

  rcosta358

  authored
  1bd08b4

  Copy full SHA for 1bd08b4

• Fix NullPointerException in `MethodsFunctionsChecker` (#150)

  rcosta358

  authored
  70ccc2f

  Copy full SHA for 70ccc2f

Commits on Feb 13, 2026

• New Releases

  rcosta358

  committed
  375418d

  Copy full SHA for 375418d

• Add Boxed Types Support (#149)

  rcosta358

  authored
  3fefa2f

  Copy full SHA for 3fefa2f

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 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

Commits on Nov 29, 2024

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

  Show description for 321ec21
  CatarinaGamboa

  authored
  321ec21

  Copy full SHA for 321ec21

Commits on Dec 7, 2023

• add trafficlight examples to the testSuite

  CatarinaGamboa

  committed
  fa65982

  Copy full SHA for fa65982

Pagination

Previous

Next