Commits

Breadcrumbs

History for

onjava17

User selector

All users

All time

Commit History

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

• 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

Commits on Nov 8, 2025

• 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

• 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

• Decouple Z3 From Expressions (#60)

  rcosta358

  authored
  aed9efd

  Copy full SHA for aed9efd

• Simplify Expressions (#59)

  rcosta358

  authored
  d3c2dbb

  Copy full SHA for d3c2dbb

• 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

• Check If Path Exists in CommandLineLauncher (#55)

  rcosta358

  authored
  38ce0b8

  Copy full SHA for 38ce0b8

• Show Error If State Name Is Uppercase (#53)

  Show description for d80dcb1
  rcosta358

  authored
  d80dcb1

  Copy full SHA for d80dcb1

• Qualify Ghost Names (#52)

  rcosta358

  authored
  88f2c7f

  Copy full SHA for 88f2c7f

Commits on Sep 24, 2025

• Merge pull request #54 from rcosta358/analyze-all-packages

  Show description for 471cb54
  rcosta358

  authored
  471cb54

  Copy full SHA for 471cb54

Commits on Apr 10, 2025

• formatter (#40)

  CatarinaGamboa

  authored
  79afe64

  Copy full SHA for 79afe64

Pagination

Previous

Next