Commits

Commits on Aug 11, 2026

Add Missing Import
rcosta358
committed
09b2c22
Merge remote-tracking branch 'origin/main' into baseline
rcosta358
committed
09d2230
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 Aug 5, 2026

Restore Baseline Error Messages
rcosta358
committed
b805f58

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
Add VC Logical Simplification (#253)
rcosta358
authored
a784e4a
Add VC Arithmetic Simplification (#251)
rcosta358
authored
10c0e6e
Add VC Folding Simplification (#250)
rcosta358
authored
987e645

Commits on Jun 13, 2026

Commits on Jun 12, 2026

Add VC Substitution Simplification (#249)
rcosta358
authored
d33af55

Commits on Jun 9, 2026

Add more complex examples to test suite (#248)
CatarinaGamboa
authored
29b1d94
Add SimplifiedPredicate (#246)
rcosta358
authored
f2ee10d
Refactor code in method checker (#247)
CatarinaGamboa
authored
c05f3fd