Commits

Branch selector

 java17

User selector

All users

All time

Commit History

Commits on Jan 4, 2026

• Change Java version to 17

  advancingdragon

  committed
  5744d94

  Copy full SHA for 5744d94

Commits on Dec 10, 2025

• Simplification Fixes (#125)

  rcosta358

  authored
  8685353

  Copy full SHA for 8685353

Commits on Dec 4, 2025

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

  rcosta358

  authored
  6e9d4fe

  Copy full SHA for 6e9d4fe

• Fix Alias & Ghost Argument Mismatch (#127)

  rcosta358

  authored
  883171c

  Copy full SHA for 883171c

• Fix Java Compilation Warning (#128)

  rcosta358

  authored
  8e1ff89

  Copy full SHA for 8e1ff89

• Check Expected Errors in Tests (#126)

  rcosta358

  authored
  f59d1c4

  Copy full SHA for f59d1c4

Commits on Nov 21, 2025

• Java Compilation Warning (#124)

  rcosta358

  authored
  d4ef259

  Copy full SHA for d4ef259

Commits on Nov 20, 2025

• Error Refactoring (#123)

  rcosta358

  authored
  08af804

  Copy full SHA for 08af804

Commits on Nov 17, 2025

• Cleanup (#122)

  rcosta358

  authored
  308ad81

  Copy full SHA for 308ad81

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

• Add `.gitattributes` For LF Line Endings

  rcosta358

  committed
  0cbd6fb

  Copy full SHA for 0cbd6fb

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

  rcosta358

  authored
  87a2153

  Copy full SHA for 87a2153

• Fix Single Equality Expression Simplification (#113)

  rcosta358

  authored
  01a39ff

  Copy full SHA for 01a39ff

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

  rcosta358

  authored
  b4b41e0

  Copy full SHA for b4b41e0

Commits on Nov 10, 2025

• Code Refactoring (#109)

  rcosta358

  authored
  11a9263

  Copy full SHA for 11a9263

• 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

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

  rcosta358

  authored
  1ca6aa2

  Copy full SHA for 1ca6aa2

• 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

• Add Diagnostics Classes (#81)

  rcosta358

  authored
  31b657d

  Copy full SHA for 31b657d

• 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

• Minor Fixes

  rcosta358

  committed
  0ad50cc

  Copy full SHA for 0ad50cc

• 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

• Skip Null Literals in RefinementTypeChecker (#63)

  rcosta358

  authored
  758650d

  Copy full SHA for 758650d

• 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

• Decouple Z3 From Expressions (#60)

  rcosta358

  authored
  aed9efd

  Copy full SHA for aed9efd

• Simplify Expressions (#59)

  rcosta358

  authored
  d3c2dbb

  Copy full SHA for d3c2dbb

Pagination

Previous

Next