FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for liquidjava-example/src/main/java - liquid-java/liquidjava · GitHub

Commits

History for

Commits on Sep 9, 2026

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

Commits on Aug 14, 2026

Filter & Sort Counterexamples by Binders (#272)
rcosta358
authored
aa48282

Commits on Aug 11, 2026

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 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 Jun 13, 2026

Commits on Jun 9, 2026

Add more complex examples to test suite (#248)
CatarinaGamboa
authored
29b1d94

Commits on Jun 8, 2026

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

Commits on Jun 1, 2026

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 11, 2026

Operator Assignment Support (#214)
rcosta358
authored
b98a110

Commits on May 8, 2026

Return implies state (#212)
CatarinaGamboa
authored
25cba58
Fix if condition with no refinement (#210)
CatarinaGamboa
authored
cd523df

Commits on May 6, 2026

Support for class Constants (#207)

authored
46f6922

Commits on May 5, 2026

Fix Operator Precedence (#209)
rcosta358
authored
0240947
Unsatisfiable Refinement Warning (#202)
rcosta358
authored
19ebba1

Commits on Apr 11, 2026

Refactor Refinement Predicate (#205)
rcosta358
authored
4090430
Add Missing `this` Binding + Method Checking Ordering (#190)
rcosta358
authored
958793c
Added enum types and verification (#168)
cheestree
authored
a3b04c6

Commits on Mar 30, 2026

Improve test suite (#177)
cheestree
authored
c68a166

Commits on Mar 28, 2026

Commits on Mar 10, 2026

Logic for method overload with different types (#172)

authored
848eeb5

Commits on Feb 23, 2026

Context History Tracking (#155)
rcosta358
authored
9eb34e5
Add Support for Char Literals (#153)
rcosta358
authored
1bd08b4
Fix NullPointerException in `MethodsFunctionsChecker` (#150)
rcosta358
authored
70ccc2f

Commits on Feb 13, 2026

Add Boxed Types Support (#149)
rcosta358
authored
3fefa2f

Commits on Feb 11, 2026

Add Ghost Dot Syntax (#142)
rcosta358
authored
3562af1
Fix Annotation Position Lookup (#141)
rcosta358
authored
e7933ea

Back | FazBrowse Home | New Git URL