Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Oct 30, 2025

• test: add TestLiteralStringEquals and TestOptimizationIntegration Antonio Rebelo 58530

  TORebelo

  committed
  b5d3912

  Copy full SHA for b5d3912

• re-add files from removed commit 60dbd55

  TORebelo

  committed
  03f6b6f

  Copy full SHA for 03f6b6f

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

• 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

• Update README (#56)

  rcosta358

  authored
  368df95

  Copy full SHA for 368df95

• 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 Jul 25, 2025

• Updated README Setup Instructions (#45)

  Show description for 9c87c4b
  pcanelas

  authored
  9c87c4b

  Copy full SHA for 9c87c4b

Commits on Jul 2, 2025

• Update README.md

  CatarinaGamboa

  authored
  f8a0315

  Copy full SHA for f8a0315

Commits on Apr 10, 2025

• formatter (#40)

  CatarinaGamboa

  authored
  79afe64

  Copy full SHA for 79afe64

• Bump ch.qos.logback:logback-classic (#39)

  Show description for 8909265
  dependabot[bot]

  authored
  8909265

  Copy full SHA for 8909265

• add missing dependency

  CatarinaGamboa

  committed
  9c56fa4

  Copy full SHA for 9c56fa4

• make versions coincide

  CatarinaGamboa

  committed
  9f28bd4

  Copy full SHA for 9f28bd4

• Merge branch 'main' of https://github.com/CatarinaGamboa/liquidjava

  CatarinaGamboa

  committed
  6836d01

  Copy full SHA for 6836d01

• spoon search for classpath, new versions

  CatarinaGamboa

  committed
  2b05bf3

  Copy full SHA for 2b05bf3

Commits on Dec 12, 2024

• Merge pull request #38 from CatarinaGamboa/formatting

  Show description for 08badfd
  GUIpsp

  authored
  08badfd

  Copy full SHA for 08badfd

• [chore] blame-ignore previous formatting commit

  GUIpsp

  committed
  e0edc03

  Copy full SHA for e0edc03

• [chore] reformat everything

  GUIpsp

  committed
  012a813

  Copy full SHA for 012a813

Commits on Dec 1, 2024

• Enable autofixing for future commits

  GUIpsp

  committed
  b11fd24

  Copy full SHA for b11fd24

• Use the Palantir formatter in pre-commit

  Show description for aad179d
  GUIpsp

  committed
  aad179d

  Copy full SHA for aad179d

• Misc README fixes

  GUIpsp

  committed
  b070270

  Copy full SHA for b070270

• Fix massive memory leak

  GUIpsp

  committed
  ae5beca

  Copy full SHA for ae5beca

Commits on Nov 30, 2024

• Renamed master to main in workflow

  alcides

  committed
  6492eea

  Copy full SHA for 6492eea

Pagination

Previous

Next