Commits

Breadcrumbs

History for

onbug-fix-vars

User selector

All users

All time

Commit History

Commits on May 22, 2026

• extract to a function

  CatarinaGamboa

  committed
  1fa001a

  Copy full SHA for 1fa001a

• fix bug gathering predicates

  CatarinaGamboa

  committed
  055e933

  Copy full SHA for 055e933

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

Commits on May 6, 2026

• Support for class Constants (#207)

  Show description for 46f6922
  

  3 peopleauthored
  46f6922

  Copy full SHA for 46f6922

Commits on May 5, 2026

• Provide more debug information (#208)

  Show description for fbc69c3
  CatarinaGamboa

  authored
  fbc69c3

  Copy full SHA for fbc69c3

• Fix Operator Precedence (#209)

  rcosta358

  authored
  0240947

  Copy full SHA for 0240947

• Make Counterexample Filtering Order Insensitive (#204)

  rcosta358

  authored
  48bf708

  Copy full SHA for 48bf708

• Unsatisfiable Refinement Warning (#202)

  rcosta358

  authored
  19ebba1

  Copy full SHA for 19ebba1

Commits on Apr 11, 2026

• Releases

  rcosta358

  committed
  40e105f

  Copy full SHA for 40e105f

• Refactor Refinement Predicate (#205)

  rcosta358

  authored
  4090430

  Copy full SHA for 4090430