Propriétaire
liquid-java
3 dépôts indexés · Voir sur GitHub
-
liquidjava
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Java · 67 étoiles
-
latte
Lightweight aliasing tracking for Java - static analysis tool for pointer analysis
Java · 3 étoiles
-
liquidjava-docs
LiquidJava Documentation
SCSS · 0 étoiles
-
enhancement
liquid-java/liquidjava#240 · 1 personne assignée ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
-
enhancement ide
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
liquid-java/liquidjava#206 ·
-
tests
Difficulté 2/5 1-3 heures Accessibilité débutants 25/100
liquid-java/liquidjava#198 ·
-
Diagnostic Based Test Results Ouvertetests
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
liquid-java/liquidjava#197 ·
-
tests
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/liquidjava#196 · 2 commentaires ·
-
Improve Test Suite Ouverteenhancement tests
liquid-java/liquidjava#174 · 1 commentaire · 1 personne assignée ·
-
enhancement good first issue
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
liquid-java/liquidjava#133 · 3 commentaires ·
-
enhancement good first issue
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
liquid-java/liquidjava#132 · 2 commentaires ·
-
enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/liquidjava#131 ·
-
enhancement future
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
liquid-java/liquidjava#91 ·
-
bug
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/liquidjava#50 · 2 commentaires ·
-
bug enhancement
liquid-java/liquidjava#44 · 1 commentaire · 1 personne assignée ·
-
Add support for nested Ifs Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 42/100
liquid-java/latte#26 ·
-
Access this.root.value error Ouvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/latte#25 ·
-
enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/latte#24 ·
-
bug
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
liquid-java/latte#23 ·
-
liquid-java/latte#22 · 1 personne assignée ·
-
bug
liquid-java/latte#17 · 1 personne assignée ·
-
enhancement future
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
liquid-java/liquidjava#41 · 1 commentaire ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
liquid-java/latte#12 · 1 commentaire ·
-
Deal with external libraries Ouverteenhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
liquid-java/latte#5 · 1 commentaire ·
-
enhancement good first issue
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/liquidjava#25 ·
-
liquid-java/liquidjava#13 · 2 commentaires · 1 personne assignée ·
-
bug
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
liquid-java/liquidjava#11 ·