liquid-java/liquidjava

Auf GitHub ansehen

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Sterne: 67
Forks: 36
Offene Anfänger-Issues: 0
Indexierte Issues: 16
Ø Merge: 10 T. 18 Std.
Gemergte PRs (30 T.): 3

Vorherrschende Sprache: Java
Lizenz: MIT
Letzter GitHub-Push: 13.9.2026
Zuletzt indexiert: 19.9.2026
Beitragsleitfaden: Beitragsleitfaden
Verhaltenskodex: Verhaltenskodex
Anfänger-Labels: good first issue

Einsteigerfreundlich Alles

Offen Alle

Bisher 16 Issues indexiert

Add a flag -a to show all verification conditions sent to the smt solver Offen

enhancement

liquid-java/liquidjava#240 · 1 zugewiesene Person · Erstellt am 02.6.2026
State Names Displayed with Internal Identifiers Offen

enhancement ide

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

liquid-java/liquidjava#206 · Erstellt am 01.5.2026
Improve Expected Pattern in Tests Offen

tests

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 25/100

liquid-java/liquidjava#198 · Erstellt am 28.3.2026
Diagnostic Based Test Results Offen

tests

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

liquid-java/liquidjava#197 · Erstellt am 28.3.2026
Inline Expected Warnings in Tests Offen

tests

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

liquid-java/liquidjava#196 · 2 Kommentare · Erstellt am 28.3.2026
Improve Test Suite Offen

enhancement tests

liquid-java/liquidjava#174 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 12.3.2026
Change `return` to `$result` for method return values in refinements Offen

enhancement good first issue

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

liquid-java/liquidjava#133 · 3 Kommentare · Erstellt am 10.12.2025
Change instance variable numbers for line numbers instead of counter Offen

enhancement good first issue

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

liquid-java/liquidjava#132 · 2 Kommentare · Erstellt am 10.12.2025
State checking for extending abstract classes Offen

enhancement

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

liquid-java/liquidjava#131 · Erstellt am 10.12.2025
Add Support for Additional Types in Refinements Offen

enhancement future

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

liquid-java/liquidjava#91 · Erstellt am 06.11.2025
Refinement Aliases don't work with Interfaces Offen

bug

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

liquid-java/liquidjava#50 · 2 Kommentare · Erstellt am 29.7.2025
Ghost variables are not correctly initialized in interfaces Offen

bug enhancement

liquid-java/liquidjava#44 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 04.7.2025
Support `LinkedList<@Refined(“x>0”) Integer>` Offen

enhancement future

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

liquid-java/liquidjava#41 · 1 Kommentar · Erstellt am 22.4.2025
State Names should be able to start with UpperCase Offen

enhancement good first issue

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

liquid-java/liquidjava#25 · Erstellt am 02.5.2023
Separating logging information from other function arguments Offen

liquid-java/liquidjava#13 · 2 Kommentare · 1 zugewiesene Person · Erstellt am 13.10.2022
This should not typecheck, but it typechecks Offen

bug

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

liquid-java/liquidjava#11 · Erstellt am 13.10.2022

liquid-java/liquidjava

Neue Issues direkt in Ihr Postfach