Commits

History for

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 SimplifiedPredicate (#246)
rcosta358
authored
f2ee10d
Refactor code in method checker (#247)
CatarinaGamboa
authored
c05f3fd
Fix VCImplication Ordering (#245)
rcosta358
authored
026a409

Commits on Jun 8, 2026

Allow interfaces to be also annotated with external refinements (#244)
CatarinaGamboa
authored
9b3276e

Commits on Jun 1, 2026

Release liquidjava-verifier 0.0.26
rcosta358
committed
3ac0f36
Add Element Context to Exceptions (#237)
rcosta358
authored
abaa461
Implicit Constructor Refinements (#236)
rcosta358
authored
31caa2c

Commits on May 28, 2026

Refer return values in StateRefinements (#233)

CatarinaGamboa
and
rcosta358
authored
c151570

Commits on May 22, 2026

`StateRefinementError` was now shows all needed variables (#232)
CatarinaGamboa
authored
58349fa

Commits on May 19, 2026

Add debug info for each simplification pass (#230)

CatarinaGamboa
and
rcosta358
authored
8805dab

Commits on May 18, 2026

Release liquidjava-verifier 0.0.25
rcosta358
committed
5259fd4
Store Derivation Nodes in State Refinement Errors (#229)
rcosta358
authored
17e9619
Release liquidjava-verifier 0.0.24
rcosta358
committed
0d6f57b