Commits

Breadcrumbs

History for

onmain

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

• 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

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

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

• 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

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

• state changes in the constructor do not add old mentions since when the constructor is called there isnt a old version of the object

  CatarinaGamboa

  committed
  3c76824

  Copy full SHA for 3c76824

• changes to enable debugging and fixing of constructor issue

  CatarinaGamboa

  committed
  2a5e4b0

  Copy full SHA for 2a5e4b0

Commits on Dec 6, 2023

• change path to be correct for vscode

  CatarinaGamboa

  committed
  076d0a7

  Copy full SHA for 076d0a7

• fix var

  CatarinaGamboa

  committed
  f87dd26

  Copy full SHA for f87dd26

Commits on Dec 5, 2023

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

  CatarinaGamboa

  committed
  32c8352

  Copy full SHA for 32c8352

Commits on Oct 31, 2023

• Added telemetry

  alcides

  committed
  18e6cc0

  Copy full SHA for 18e6cc0

Commits on Oct 30, 2023

• Sunfire

  alcides

  committed
  f891b99

  Copy full SHA for f891b99