Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jun 9, 2026

• Add SimplifiedPredicate (#246)

  rcosta358

  authored
  f2ee10d

  Copy full SHA for f2ee10d

• Refactor code in method checker (#247)

  Show description for c05f3fd
  CatarinaGamboa

  authored
  c05f3fd

  Copy full SHA for c05f3fd

• Fix VCImplication Ordering (#245)

  rcosta358

  authored
  026a409

  Copy full SHA for 026a409

Commits on Jun 8, 2026

• Allow interfaces to be also annotated with external refinements (#244)

  Show description for 9b3276e
  CatarinaGamboa

  authored
  9b3276e

  Copy full SHA for 9b3276e

Commits on Jun 1, 2026

• Release liquidjava-verifier 0.0.26

  rcosta358

  committed
  3ac0f36

  Copy full SHA for 3ac0f36

• Add Element Context to Exceptions (#237)

  rcosta358

  authored
  abaa461

  Copy full SHA for abaa461

• Implicit Constructor Refinements (#236)

  rcosta358

  authored
  31caa2c

  Copy full SHA for 31caa2c

Commits on May 28, 2026

• Refer return values in StateRefinements (#233)

  Show description for c151570
  

  CatarinaGamboa

  and

  rcosta358

  authored
  c151570

  Copy full SHA for c151570

Commits on May 22, 2026

• `StateRefinementError` was now shows all needed variables (#232)

  Show description for 58349fa
  CatarinaGamboa

  authored
  58349fa

  Copy full SHA for 58349fa

Commits on May 19, 2026

• Add debug info for each simplification pass (#230)

  Show description for 8805dab
  

  CatarinaGamboa

  and

  rcosta358

  authored
  8805dab

  Copy full SHA for 8805dab

Commits on May 18, 2026

• Release liquidjava-verifier 0.0.25

  rcosta358

  committed
  5259fd4

  Copy full SHA for 5259fd4

• Store Derivation Nodes in State Refinement Errors (#229)

  rcosta358

  authored
  17e9619

  Copy full SHA for 17e9619

• Release liquidjava-verifier 0.0.24

  rcosta358

  committed
  0d6f57b

  Copy full SHA for 0d6f57b

• Save Refined Function Placement (#227)

  rcosta358

  authored
  e411abe

  Copy full SHA for e411abe

• Fix Usage Detection for Repeated Equalities (#226)

  rcosta358

  authored
  10b067f

  Copy full SHA for 10b067f

• Fix External Method Not Found (#228)

  rcosta358

  authored
  1d0a755

  Copy full SHA for 1d0a755

Commits on May 16, 2026

• VarDerivationNode Formatting

  rcosta358

  committed
  a52518d

  Copy full SHA for a52518d

• Release liquidjava-verifier 0.0.23

  rcosta358

  committed
  aecec47

  Copy full SHA for aecec47

Commits on May 14, 2026

• Improve Debug Logs (#224)

  rcosta358

  authored
  886c172

  Copy full SHA for 886c172

• Add LSP Flag (#225)

  rcosta358

  authored
  d977679

  Copy full SHA for d977679

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 12, 2026

• Release liquidjava-verifier 0.0.22

  rcosta358

  committed
  b0e5f19

  Copy full SHA for b0e5f19

• Merge branch 'main' of https://github.com/liquid-java/liquidjava

  rcosta358

  committed
  1bf2b82

  Copy full SHA for 1bf2b82

• Fix Release

  rcosta358

  committed
  312e236

  Copy full SHA for 312e236

• Release liquidjava-verifier 0.0.21

  CatarinaGamboa

  committed
  94ebaa3

  Copy full SHA for 94ebaa3

• Release liquidjava-verifier 0.0.20

  CatarinaGamboa

  committed
  300aedb

  Copy full SHA for 300aedb

Commits on May 11, 2026

• Fix Expression Formatter (#217)

  rcosta358

  authored
  9f1c367

  Copy full SHA for 9f1c367

• Operator Assignment Support (#214)

  rcosta358

  authored
  b98a110

  Copy full SHA for b98a110

• Add Methods to Context History (#218)

  rcosta358

  authored
  cbfcc38

  Copy full SHA for cbfcc38

• Propagate Expressions (#215)

  rcosta358

  authored
  0de6d8f

  Copy full SHA for 0de6d8f

• Add Maven Central Publish Workflows (#213)

  rcosta358

  authored
  dd47e55

  Copy full SHA for dd47e55

Commits on May 8, 2026

• Return implies state (#212)

  Show description for 25cba58
  CatarinaGamboa

  authored
  25cba58

  Copy full SHA for 25cba58

• Fix if condition with no refinement (#210)

  Show description for cd523df
  CatarinaGamboa

  authored
  cd523df

  Copy full SHA for cd523df