runtimeverification / runtimeverification/mir-semantics
[FEATURE] print rules for nd-branches
Abierto
@Stevengre ya está trabajando en esto.
Desde el 14/8/2025.
- Lenguaje dominante
- Python
- Estrellas
- 52
- Forks
- 5
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
- not finished implementation is here: https://github.com/runtimeverification/mir-semantics/pull/652
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.
Evaluación
Este issue todavía no se ha evaluado.