Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 18, 2026

• Fix Usage Detection for Repeated Equalities (#226)

  rcosta358

  authored
  10b067f

  Copy full SHA for 10b067f

Commits on May 13, 2026

• Simplify Enums & Static Final Fields (#222)

  rcosta358

  authored
  6d1f086

  Copy full SHA for 6d1f086

• Add hint for implies (using --> and not ->) (#221)

  Show description for 275e9b7
  CatarinaGamboa

  authored
  275e9b7

  Copy full SHA for 275e9b7

• Propagate Function Invocations (#216)

  rcosta358

  authored
  d22612b

  Copy full SHA for d22612b

Commits on May 11, 2026

• Fix Expression Formatter (#217)

  rcosta358

  authored
  9f1c367

  Copy full SHA for 9f1c367

• Propagate Expressions (#215)

  rcosta358

  authored
  0de6d8f

  Copy full SHA for 0de6d8f

Commits on May 5, 2026

• Unsatisfiable Refinement Warning (#202)

  rcosta358

  authored
  19ebba1

  Copy full SHA for 19ebba1

Commits on Apr 11, 2026

• Special Variable Substitution (#201)

  rcosta358

  authored
  eeb2728

  Copy full SHA for eeb2728

• Fix CI

  rcosta358

  committed
  ac31356

  Copy full SHA for ac31356

• Expression Pretty Printing (#200)

  rcosta358

  authored
  a43db5f

  Copy full SHA for a43db5f

Commits on Mar 30, 2026

• Improve test suite (#177)

  cheestree

  authored
  c68a166

  Copy full SHA for c68a166

Commits on Mar 28, 2026

• Instance Variable Superscript Notation (#189)

  rcosta358

  authored
  833c7d3

  Copy full SHA for 833c7d3

• Simplify Implied Weaker Conjuncts (#188)

  rcosta358

  authored
  41d3de4

  Copy full SHA for 41d3de4

• Expand Aliases (#184)

  rcosta358

  authored
  2eb9510

  Copy full SHA for 2eb9510

• Simplify If Expressions (#183)

  rcosta358

  authored
  9e339f2

  Copy full SHA for 9e339f2

• Internal Variable Substitution (#181)

  rcosta358

  authored
  7f0e0af

  Copy full SHA for 7f0e0af

• Misleading Expansions (#180)

  rcosta358

  authored
  1272e50

  Copy full SHA for 1272e50

• Expression Oversimplification (#179)

  rcosta358

  authored
  6963a61

  Copy full SHA for 6963a61

Commits on Dec 10, 2025

• Simplification Fixes (#125)

  rcosta358

  authored
  8685353

  Copy full SHA for 8685353

Commits on Dec 4, 2025

• Fix Alias & Ghost Argument Mismatch (#127)

  rcosta358

  authored
  883171c

  Copy full SHA for 883171c

• Check Expected Errors in Tests (#126)

  rcosta358

  authored
  f59d1c4

  Copy full SHA for f59d1c4

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

• 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 5, 2025

• Add Diagnostics Classes (#81)

  rcosta358

  authored
  31b657d

  Copy full SHA for 31b657d

Commits on Oct 29, 2025

• Simplify Expressions (#59)

  rcosta358

  authored
  d3c2dbb

  Copy full SHA for d3c2dbb

• Multiple args (#49)

  rodrigomilisse

  authored
  6018353

  Copy full SHA for 6018353

Commits on Apr 10, 2025

• formatter (#40)

  CatarinaGamboa

  authored
  79afe64

  Copy full SHA for 79afe64

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

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 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 28, 2023

• Removed junit asserts from the code.

  alcides

  committed
  1fd89fa

  Copy full SHA for 1fd89fa