Commits

Commits on Oct 2, 2026

Keep the meaning of enum and static constants compared in conditions (#319)

CatarinaGamboa
and
claude
authored
0472025
Register Field Contracts Before Forward Declared Writes (#314)
rcosta358
authored
dd02e99
Exclude Static Final Constants from Instance Field Ghosts (#313)
rcosta358
authored
6d87ec5
Treat results of methods without refinements as unconstrained in operations (#312)

CatarinaGamboa
and
claude
authored
fbfb4e2
Treat null literals as carrying no information instead of failing (#311)

CatarinaGamboa
and
claude
authored
03a15b1

Commits on Sep 30, 2026

Update in-repo api dependency when releasing the api (#310)

CatarinaGamboa
and
claude
authored
3a2df08
Update README (#294)
rcosta358
authored
8816186
Improve Test Suite (#293)
rcosta358
authored
51ad687

Commits on Sep 20, 2026

Release liquidjava-verifier 0.0.35
rcosta358
committed
646d6e4
Improve Error Location Precision
rcosta358
committed
8c79d26

Commits on Sep 13, 2026

Release liquidjava-verifier 0.0.34
rcosta358
committed
523cf28

Commits on Sep 12, 2026

Fix Refinement Declaration Positions (#287)
rcosta358
authored
88d0d9e

Commits on Sep 9, 2026

Add Hints for Unconstrained Refinements (#288)
rcosta358
authored
79b8cd3

Commits on Sep 8, 2026

Release liquidjava-verifier 0.0.33
rcosta358
committed
5128b3e

Commits on Aug 31, 2026

Add Similar Name Hint to Not Found Error (#289)
rcosta358
authored
b4dcb1c

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