Skip to content

Refer return values in StateRefinements#233

Merged
CatarinaGamboa merged 4 commits into
mainfrom
state_return_staterefinements
May 28, 2026
Merged

Refer return values in StateRefinements#233
CatarinaGamboa merged 4 commits into
mainfrom
state_return_staterefinements

Update liquidjava-verifier/src/main/java/liquidjava/processor/refinem…

1d3d515
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Maven test on Java 20
succeeded May 28, 2026 in 1m 21s