Commits

Breadcrumbs

History for

onunsatisfiable-refinement-error

User selector

All users

All time

Commit history

Commits on Feb 14, 2026

• Add Tests

  rcosta358

  committed
  015524cView commit details

  Copy full SHA for 015524c

  View code at this pointBrowse repository at this point

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

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

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

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

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

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

Commits on Nov 10, 2025

• Update Links and Maven Configs (#108)

  rcosta358

  authored
  06f8437View commit details

  Copy full SHA for 06f8437

  View code at this pointBrowse repository at this point

Commits on Nov 8, 2025

• Update groupId (#106)

  rcosta358

  authored
  5bf4eabView commit details

  Copy full SHA for 5bf4eab

  View code at this pointBrowse repository at this point

• 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

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

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

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

• Maven Central Dependency (#61)

  rcosta358

  authored
  a99bad6View commit details

  Copy full SHA for a99bad6

  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

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

Commits on Apr 10, 2025

• add missing dependency

  CatarinaGamboa

  committed
  9c56fa4View commit details

  Copy full SHA for 9c56fa4

  View code at this pointBrowse repository at this point

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

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

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

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

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

Commits on Dec 5, 2023

• change folder name from liquidjava to testSuite since all the tests are there

  CatarinaGamboa

  committed
  32c8352View commit details

  Copy full SHA for 32c8352

  View code at this pointBrowse repository at this point

Commits on Oct 28, 2023

• Removed junit asserts from the code.

  alcides

  committed
  1fd89faView commit details

  Copy full SHA for 1fd89fa

  View code at this pointBrowse repository at this point

• Reorganized files

  alcides

  committed
  352f10eView commit details

  Copy full SHA for 352f10e

  View code at this pointBrowse repository at this point