liquid-java/liquidjava

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Link state errors to the operation that established the relevant state

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement error messages future ide

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  liquid-java/liquidjava#298 · Abierto el 24/9/2026

• Add an expected-guided simplification step to state error derivations

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

  liquid-java/liquidjava#297 · Abierto el 24/9/2026

• Show counterexample values in the final expected refinement

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

  liquid-java/liquidjava#296 · Abierto el 24/9/2026

• Restore alias expansion in refinement diagnostic history

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

  liquid-java/liquidjava#295 · Abierto el 24/9/2026

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

  Quizá libre de nuevo @CatarinaGamboa la tomó hace 115 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  liquid-java/liquidjava#240 · 1 asignado · Abierto el 2/6/2026

• State Names Displayed with Internal Identifiers

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement ide

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  liquid-java/liquidjava#206 · Abierto el 1/5/2026

• Inline Expected Warnings in Tests

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  tests

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  liquid-java/liquidjava#196 · 2 comentarios · Abierto el 28/3/2026

• Change instance variable numbers for line numbers instead of counter

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement good first issue

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  liquid-java/liquidjava#132 · 2 comentarios · Abierto el 10/12/2025

• State checking for extending abstract classes

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  liquid-java/liquidjava#131 · Abierto el 10/12/2025

• Add Support for Additional Types in Refinements

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement future

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  liquid-java/liquidjava#91 · Abierto el 6/11/2025

• Refinement Aliases don't work with Interfaces

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  liquid-java/liquidjava#50 · 2 comentarios · Abierto el 29/7/2025

• Ghost variables are not correctly initialized in interfaces

  Quizá libre de nuevo @pcanelas la tomó hace 448 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug enhancement

  liquid-java/liquidjava#44 · 1 comentario · 1 asignado · Abierto el 4/7/2025

• Support `LinkedList<@Refined(“x>0”) Integer>`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement future

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  liquid-java/liquidjava#41 · 1 comentario · Abierto el 22/4/2025

• State Names should be able to start with UpperCase

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement good first issue

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  liquid-java/liquidjava#25 · Abierto el 2/5/2023

• Separating logging information from other function arguments

  Quizá libre de nuevo @FrogOfJuly la tomó hace 1443 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  liquid-java/liquidjava#13 · 2 comentarios · 1 asignado · Abierto el 13/10/2022

• This should not typecheck, but it typechecks

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  liquid-java/liquidjava#11 · Abierto el 13/10/2022

• Improve Expected Pattern in Tests

  Posiblemente ocupada @rcosta358 la tomó hace 13 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  tests

  Dificultad 2/5 1-3 horas Aptitud para principiantes 25/100

  liquid-java/liquidjava#198 · Abierto el 28/3/2026

• Diagnostic Based Test Results

  Posiblemente ocupada @rcosta358 la tomó hace 13 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  tests

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  liquid-java/liquidjava#197 · Abierto el 28/3/2026

• Improve Test Suite

  Posiblemente ocupada @cheestree la tomó hace 197 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement tests

  liquid-java/liquidjava#174 · 1 comentario · 1 asignado · Abierto el 12/3/2026

• Change `return` to `$result` for method return values in refinements

  Posiblemente ocupada @rajshivu la tomó hace 228 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement good first issue

  Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

  liquid-java/liquidjava#133 · 3 comentarios · Abierto el 10/12/2025