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-fsm
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: feat/state-values
Choose a base ref
...
head repository: liquid-java/liquidjava-fsm
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 7 files changed
  • 3 contributors

Commits on Nov 9, 2026

  1. Merge pull request #17 from liquid-java/feat/state-values 

    Read named state sets and states written as values of their sets
    @CatarinaGamboa
    CatarinaGamboa authored Nov 9, 2026
    Configuration menu
    Copy the full SHA
    710ee40 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2026

  1. Release liquidjava-fsm 0.2.3 on liquidjava-verifier 0.0.37 

    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
    d01be01 View commit details
    Browse the repository at this point in the history

  2. Draw a StateRefinement without from only from the states it leaves un… 

    …covered

A StateRefinement with a to but no from was also drawn from the initial pseudo state, like a constructor, when the
method had other StateRefinements with from. The verifier reads it as from = true, so it already goes from the states
the others do not cover; only constructors and factory methods enter the state machine. entryTransitions is kept,
always empty, so that clients still compile.

Closes #18

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
    23a1d3b View commit details
    Browse the repository at this point in the history

  3. Name the fixture after what it tests, a StateRefinement without from … 

    …beside others

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
    a904ec0 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #19 from liquid-java/fix/to-without-from 

    Draw a StateRefinement without from only from the states it leaves uncovered
    @CatarinaGamboa
    CatarinaGamboa authored Nov 10, 2026
    Configuration menu
    Copy the full SHA
    68a31fe View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2026

  1. Release liquidjava-fsm 0.2.4 on liquidjava-verifier 0.0.38 

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