Sitelet https://github.com/liquid-java/liquidjava/commits/main/

Commits

Commits on Aug 19, 2026

Release liquidjava-api 0.0.7
rcosta358
committed
1d7a79a
Release liquidjava-api 0.0.6
rcosta358
committed
37a650f

Commits on Aug 14, 2026

Release liquidjava-verifier 0.0.32
rcosta358
committed
c311fa1
Minor Changes
rcosta358
committed
89bbf65
Release liquidjava-verifier 0.0.31
rcosta358
committed
298c3a2
Add VC Constraint Simplification (#264)
rcosta358
authored
53867f2
Filter & Sort Counterexamples by Binders (#272)
rcosta358
authored
aa48282

Commits on Aug 11, 2026

Release liquidjava-verifier 0.0.30
rcosta358
committed
9d57e8f
Add Declaration Location to Refinement Errors (#285)
rcosta358
authored
fdd5604
Simplify Unambiguous Qualified Names (#284)
rcosta358
authored
cdc46e3
Remove Unused Fresh Path Binders In Simplification (#278)
rcosta358
authored
0ded161
Release liquidjava-verifier 0.0.29
rcosta358
committed
f6ea882
Remove Unused Imports (#286)
rcosta358
authored
4be3bb1
Fix Field Initialization (#281)
rcosta358
authored
61d3a67
Fix Inconsistent Qualified Names (#274)
rcosta358
authored
9bd14d5
Fix NPE When Concatenating Strings (#283)
rcosta358
authored
006158c
Fix NPE When Incrementing Fields (#280)
rcosta358
authored
a1564c4
Fix Refinements After Early Return (#277)
rcosta358
authored
db07738
Fix Instance Variable Leak Between Methods (#276)
rcosta358
authored
d5ae6be
Fix Field Access (#275)
rcosta358
authored
cdd3c0f

Commits on Jul 20, 2026

Commits on Jun 21, 2026

Release liquidjava-verifier 0.0.27
rcosta358
committed
c643a39
Remove Group Expression (#263)
rcosta358
authored
2da1348
Track Simplification Origins by Full VC Implication (#262)
rcosta358
authored
bbdaaa5
Simplification Migration (#261)
rcosta358
authored
e78891c
VC Simplification Refactoring (#260)
rcosta358
authored
3b957de
Add VC Function Substitution (#258)
rcosta358
authored
3402d89
Fix VC Substitution (#259)
rcosta358
authored
fa8114a
Return Null Origin for Unsimplified VCs (#256)
rcosta358
authored
076b8fa
Add VC Binder Simplification (#255)
rcosta358
authored
7a0b1fe
Refactor VC Simplification (#254)
rcosta358
authored
75f9487