VolumeTracker should deal with Phi nodes appropriately
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 48/100
Línea de trabajo
Comienza con el arnés de pruebas de seguimiento de volumen y el caso de prueba existente en tests/assays/probabilistic_pcr.bs. Reproduce el escenario de phi en la cabecera del bucle con un uso antes de la definición y, después, sigue cómo el rastreador de volumen gestiona el nodo phi. La tarea estará terminada cuando la prueba añadida pase y esta estructura de bucle se gestione adecuadamente.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
The volume tracker does not appropriately handle phi nodes.
The issue arises when a phi node exists in a loop header, where there is a use prior to a def, and has the following structure:
before_loop:
a0 = ...
loop_header:
a1 = phi(a0, a1)
loop_body:
... = use a1
A test case has been added to the volume tracking testing harness using tests/assays/probabilistic_pcr.bs as the model.
- Lenguaje dominante
- Python
- Estrellas
- 53
- Forks
- 16
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de lilott8/BioScript
-
update readme Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 62/100
-
Functions are broken Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Finish and verify z3 tests Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
Todos los issues de lilott8/BioScript
Issues similares
-
[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Abiertoarea: harness bug status: needs-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
Human-Agent-Society/reef#625 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 80/100
learningequality/kolibri#15351 · 2 comentarios ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Name consistency Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
eellak/triplestore#65 · 1 comentario ·