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/vscode-liquidjava
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: dfa41da
Choose a base ref
...
head repository: liquid-java/vscode-liquidjava
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 899c93d
Choose a head ref
  • 3 commits
  • 18 files changed
  • 2 contributors

Commits on Nov 10, 2026

  1. Show every declared-here position and its gloss in the IDE panel 

    The server sends the verifier's declaration positions and declaration notes
(the "where ... means ..." lines) of refinement and state errors, and the
Locations section shows a link to every position, with the notes under them.

Needs liquidjava-verifier 0.0.38: getDeclarationNotes() comes from
liquid-java/liquidjava#517 and getDeclarationPositions() from
liquid-java/liquidjava#525.

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

  2. Leave the declaration positions out of a copied error 

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

  3. Prototype: markdown hover for the notes and counterexample (not for m… 

    …erge)

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