Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: liquid-java/liquidjava
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: e3b11c8
Choose a base ref
...
head repository: liquid-java/liquidjava
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 55fef6b
Choose a head ref
  • 4 commits
  • 19 files changed
  • 2 contributors

Commits on Nov 4, 2026

  1. Name generated values after what they are instead of #fresh 

    Path conditions, call results and other values the verifier introduces
were all named #freshN, which tells a developer nothing. Each is now
named after its origin: #if_condition, #loop_condition,
#ternary_condition, #try_branch, #catch_branch, #<method>_result,
#<field>_value, #new_<Class>, #operation_result, #array_length. The
counter keeps the names unique, and characters the refinement language
does not accept are replaced, so the names stay valid for the SMT
encoding.

Closes #373.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 4, 2026
    Configuration menu
    Copy the full SHA
    a4a38c4 View commit details
    Browse the repository at this point in the history

  2. Keep generated names apart from program variables with a ## prefix 

    A program variable named like a generated value (read_result) has
instances #read_result_N, which the name pattern took for generated.
Generated names now start with ##, which no instance name can, and the
integration test fails on a missing or extra error.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 4, 2026
    Configuration menu
    Copy the full SHA
    f481153 View commit details
    Browse the repository at this point in the history

  3. Check the generated names with one message test 

    Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 4, 2026
    Configuration menu
    Copy the full SHA
    409fc1e View commit details
    Browse the repository at this point in the history

  4. Name refined call results after the method, as the other generated va… 

    …lues

The result of a call to a method with a contract was named #<method>_N
and shown as getUndoManager⁵⁵⁵, like a program variable. It is now a
generated name, #getUndoManager_result⁵⁵⁵, as the results of the calls
inside an expression already were.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 4, 2026
    Configuration menu
    Copy the full SHA
    55fef6b View commit details
    Browse the repository at this point in the history
Loading