Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
liquid-java
/
liquidjava
Public
Notifications
You must be signed in to change notification settings
Fork
36
Star
67
Code
Issues
16
Pull requests
8
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
error-ifs
User selector
All users
Datepicker
All time
Commit history
Commits on May 29, 2026
add tests and a valderivation node for this
CatarinaGamboa
committed
72c5df6
View commit details
Copy full SHA for 72c5df6
Browse repository at this point
add == true/false to trigger simplification
CatarinaGamboa
committed
039c2a9
View commit details
Copy full SHA for 039c2a9
Browse repository at this point
Commits on May 28, 2026
Refer return values in StateRefinements (#233)
Show description for c151570
CatarinaGamboa
and
rcosta358
authored
c151570
View commit details
Copy full SHA for c151570
Browse repository at this point
Commits on May 22, 2026
`StateRefinementError` was now shows all needed variables (#232)
Show description for 58349fa
CatarinaGamboa
authored
58349fa
View commit details
Copy full SHA for 58349fa
Browse repository at this point
Commits on May 19, 2026
Add debug info for each simplification pass (#230)
Show description for 8805dab
CatarinaGamboa
and
rcosta358
authored
8805dab
View commit details
Copy full SHA for 8805dab
Browse repository at this point
Commits on May 18, 2026
Release liquidjava-verifier 0.0.25
rcosta358
committed
5259fd4
View commit details
Copy full SHA for 5259fd4
Browse repository at this point
Store Derivation Nodes in State Refinement Errors (#229)
rcosta358
authored
17e9619
View commit details
Copy full SHA for 17e9619
Browse repository at this point
Release liquidjava-verifier 0.0.24
rcosta358
committed
0d6f57b
View commit details
Copy full SHA for 0d6f57b
Browse repository at this point
Save Refined Function Placement (#227)
rcosta358
authored
e411abe
View commit details
Copy full SHA for e411abe
Browse repository at this point
Fix Usage Detection for Repeated Equalities (#226)
rcosta358
authored
10b067f
View commit details
Copy full SHA for 10b067f
Browse repository at this point
Fix External Method Not Found (#228)
rcosta358
authored
1d0a755
View commit details
Copy full SHA for 1d0a755
Browse repository at this point
Commits on May 16, 2026
VarDerivationNode Formatting
rcosta358
committed
a52518d
View commit details
Copy full SHA for a52518d
Browse repository at this point
Release liquidjava-verifier 0.0.23
rcosta358
committed
aecec47
View commit details
Copy full SHA for aecec47
Browse repository at this point
Commits on May 14, 2026
Improve Debug Logs (#224)
rcosta358
authored
886c172
View commit details
Copy full SHA for 886c172
Browse repository at this point
Add LSP Flag (#225)
rcosta358
authored
d977679
View commit details
Copy full SHA for d977679
Browse repository at this point
Update Run Script (#223)
rcosta358
authored
38d4dbc
View commit details
Copy full SHA for 38d4dbc
Browse repository at this point
Commits on May 13, 2026
Simplify Enums & Static Final Fields (#222)
rcosta358
authored
6d1f086
View commit details
Copy full SHA for 6d1f086
Browse repository at this point
Add hint for implies (using --> and not ->) (#221)
Show description for 275e9b7
CatarinaGamboa
authored
275e9b7
View commit details
Copy full SHA for 275e9b7
Browse repository at this point
Propagate Function Invocations (#216)
rcosta358
authored
d22612b
View commit details
Copy full SHA for d22612b
Browse repository at this point
Commits on May 12, 2026
Skip Tests in Deploy Workflow
rcosta358
committed
447b469
View commit details
Copy full SHA for 447b469
Browse repository at this point
Release liquidjava-verifier 0.0.22
rcosta358
committed
b0e5f19
View commit details
Copy full SHA for b0e5f19
Browse repository at this point
Merge branch 'main' of https://github.com/liquid-java/liquidjava
rcosta358
committed
1bf2b82
View commit details
Copy full SHA for 1bf2b82
Browse repository at this point
Fix Release
rcosta358
committed
312e236
View commit details
Copy full SHA for 312e236
Browse repository at this point
Release liquidjava-verifier 0.0.21
CatarinaGamboa
committed
94ebaa3
View commit details
Copy full SHA for 94ebaa3
Browse repository at this point
Release liquidjava-verifier 0.0.20
CatarinaGamboa
committed
300aedb
View commit details
Copy full SHA for 300aedb
Browse repository at this point
Commits on May 11, 2026
Fix Expression Formatter (#217)
rcosta358
authored
9f1c367
View commit details
Copy full SHA for 9f1c367
Browse repository at this point
Operator Assignment Support (#214)
rcosta358
authored
b98a110
View commit details
Copy full SHA for b98a110
Browse repository at this point
Add Methods to Context History (#218)
rcosta358
authored
cbfcc38
View commit details
Copy full SHA for cbfcc38
Browse repository at this point
Propagate Expressions (#215)
rcosta358
authored
0de6d8f
View commit details
Copy full SHA for 0de6d8f
Browse repository at this point
Add Maven Central Publish Workflows (#213)
rcosta358
authored
dd47e55
View commit details
Copy full SHA for dd47e55
Browse repository at this point
Commits on May 9, 2026
Remove Branch Filter from CI Trigger
Show description for ef48c5f
rcosta358
committed
ef48c5f
View commit details
Copy full SHA for ef48c5f
Browse repository at this point
Commits on May 8, 2026
Return implies state (#212)
Show description for 25cba58
CatarinaGamboa
authored
25cba58
View commit details
Copy full SHA for 25cba58
Browse repository at this point
Fix if condition with no refinement (#210)
Show description for cd523df
CatarinaGamboa
authored
cd523df
View commit details
Copy full SHA for cd523df
Browse repository at this point
Add health files (#211)
Show description for 65e663a
CatarinaGamboa
authored
65e663a
View commit details
Copy full SHA for 65e663a
Browse repository at this point
Commits on May 6, 2026
Support for class Constants (#207)
Show description for 46f6922
3 people
authored
46f6922
View commit details
Copy full SHA for 46f6922
Browse repository at this point
Previous
Next
You can’t perform that action at this time.
