Issues

• Soundness: short-circuit RHS assignments are treated as executed

  liquid-java/liquidjava#323 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Soundness: a field of another class or object is read as this class's field with the same name

  bug
  liquid-java/liquidjava#322 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Soundness: a local variable with a constant's name shadows the constant (Format.JPG read as local JPG)

  bug
  liquid-java/liquidjava#321 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Fields with the same name in different classes collide

  bug
  liquid-java/liquidjava#318 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Nested classes wipe the outer class's field refinements

  bug
  liquid-java/liquidjava#317 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Reading a field of a class declared later in the file loses its refinement

  bug
  liquid-java/liquidjava#316 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• Handle refinements in nested classes

  bug
  liquid-java/liquidjava#315 · Filter by author CatarinaGamboa opened on Oct 2, 2026

• while loop condition is not assumed inside the loop body

  bug
  liquid-java/liquidjava#306 · Filter by author CatarinaGamboa opened on Sep 30, 2026
  1

• Constant accessed through a subclass gives "Sorts Int and Bool are incompatible"

  bug
  liquid-java/liquidjava#305 · Filter by author CatarinaGamboa opened on Sep 30, 2026

• Soundness: if/else-if assignment followed by a guard hides a state violation

  bug
  liquid-java/liquidjava#304 · Filter by author CatarinaGamboa opened on Sep 30, 2026

• Soundness: an int passed to a float refined parameter is not checked

  bug
  liquid-java/liquidjava#303 · Filter by author CatarinaGamboa opened on Sep 30, 2026

• Link state errors to the operation that established the relevant state

  enhancementerror messagesfutureide
  liquid-java/liquidjava#298 · Filter by author CatarinaGamboa opened on Sep 24, 2026

• Add an expected-guided simplification step to state error derivations

  liquid-java/liquidjava#297 · Filter by author CatarinaGamboa opened on Sep 24, 2026

• Show counterexample values in the final expected refinement

  liquid-java/liquidjava#296 · Filter by author CatarinaGamboa opened on Sep 24, 2026

• Restore alias expansion in refinement diagnostic history

  liquid-java/liquidjava#295 · Filter by author CatarinaGamboa opened on Sep 24, 2026

• Add a flag -a to show all verification conditions sent to the smt solver

  enhancement
  liquid-java/liquidjava#240 · Filter by author CatarinaGamboa opened on Jun 2, 2026
  

• State Names Displayed with Internal Identifiers

  enhancementide
  liquid-java/liquidjava#206 · Filter by author rcosta358 opened on May 1, 2026

• Change return to $result for method return values in refinements

  enhancementgood first issue
  liquid-java/liquidjava#133 · Filter by author CatarinaGamboa opened on Dec 10, 2025
  3

• Change instance variable numbers for line numbers instead of counter

  enhancementgood first issue
  liquid-java/liquidjava#132 · Filter by author CatarinaGamboa opened on Dec 10, 2025
  2

• State checking for extending abstract classes

  enhancement
  liquid-java/liquidjava#131 · Filter by author CatarinaGamboa opened on Dec 10, 2025

• Add Support for Additional Types in Refinements

  enhancementfuture
  liquid-java/liquidjava#91 · Filter by author rcosta358 opened on Nov 6, 2025

• Refinement Aliases don't work with Interfaces

  bug
  liquid-java/liquidjava#50 · Filter by author rodrigomilisse opened on Jul 29, 2025
  2

• Ghost variables are not correctly initialized in interfaces

  bugenhancement
  liquid-java/liquidjava#44 · Filter by author rodrigomilisse opened on Jul 4, 2025
  1

  

• Support LinkedList<@Refined(“x>0”) Integer>

  enhancementfuture
  liquid-java/liquidjava#41 · Filter by author CatarinaGamboa opened on Apr 22, 2025
  1

• State Names should be able to start with UpperCase

  enhancementgood first issue
  liquid-java/liquidjava#25 · Filter by author CatarinaGamboa opened on May 2, 2023