FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Issues · liquid-java/liquidjava · GitHub
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
Issues
Assigned to me
Created by me
Mentioned
Recent activity
Views
Projects
Milestones
Labels
All issues
Issue creation is restricted in this repository
Issues
Search Issues
is
:
issue
state
:
open
is:issue state:open
Search
Search results
Open
Closed
Add a flag -a to show all verification conditions sent to the smt solver
enhancement
New feature or request
New feature or request
Status: Open.
#240
In liquid-java/liquidjava;
·
CatarinaGamboa
opened
on Jun 2, 2026
State Names Displayed with Internal Identifiers
enhancement
New feature or request
New feature or request
ide
Together with the VS Code extension
Together with the VS Code extension
Status: Open.
#206
In liquid-java/liquidjava;
·
rcosta358
opened
on May 1, 2026
Improve Expected Pattern in Tests
tests
Related to tests
Related to tests
Status: Open.
#198
In liquid-java/liquidjava;
·
rcosta358
opened
on Mar 28, 2026
Diagnostic Based Test Results
tests
Related to tests
Related to tests
Status: Open.
#197
In liquid-java/liquidjava;
·
rcosta358
opened
on Mar 28, 2026
Inline Expected Warnings in Tests
tests
Related to tests
Related to tests
Status: Open.
#196
In liquid-java/liquidjava;
·
rcosta358
opened
on Mar 28, 2026
Improve Test Suite
enhancement
New feature or request
New feature or request
tests
Related to tests
Related to tests
Status: Open.
#174
In liquid-java/liquidjava;
·
rcosta358
opened
on Mar 12, 2026
Change return to $result for method return values in refinements
enhancement
New feature or request
New feature or request
good first issue
Good for newcomers
Good for newcomers
Status: Open.
#133
In liquid-java/liquidjava;
·
CatarinaGamboa
opened
on Dec 10, 2025
Change instance variable numbers for line numbers instead of counter
enhancement
New feature or request
New feature or request
good first issue
Good for newcomers
Good for newcomers
Status: Open.
#132
In liquid-java/liquidjava;
·
CatarinaGamboa
opened
on Dec 10, 2025
State checking for extending abstract classes
enhancement
New feature or request
New feature or request
Status: Open.
#131
In liquid-java/liquidjava;
·
CatarinaGamboa
opened
on Dec 10, 2025
Add Support for Additional Types in Refinements
enhancement
New feature or request
New feature or request
future
Future improvement for the language
Future improvement for the language
Status: Open.
#91
In liquid-java/liquidjava;
·
rcosta358
opened
on Nov 6, 2025
Refinement Aliases don't work with Interfaces
bug
Something isn't working
Something isn't working
Status: Open.
#50
In liquid-java/liquidjava;
·
rodrigomilisse
opened
on Jul 29, 2025
Ghost variables are not correctly initialized in interfaces
bug
Something isn't working
Something isn't working
enhancement
New feature or request
New feature or request
Status: Open.
#44
In liquid-java/liquidjava;
·
rodrigomilisse
opened
on Jul 4, 2025
Back
|
FazBrowse Home
|
New Git URL