Simplification rule test/validation framework
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 30/100
Línea de trabajo
Revisa el prototipo referenciado riscv-semantics test-data/specs/bytes-int.k y el flujo de trabajo actual, basado en Rust, para probar simplificaciones. Define cómo expresarían los templates y la DSL xx => yy los términos y las reglas internas, y muestra como resultado que los usuarios pueden probar reglas de simplificación sin construir un programa en Rust.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
- Goal: This framework should allow users to use internal terms directly to test the simplifcation rules, rather than construct a Rust program for testing.
- Rationale: It is indirect to construct a Rust program for simplification testing, costing more time to construct safe and correct simp rules.
- Possible Solution:
- The prototype might be similar to the ones in riscv-semantics.
- It can be better with
templateto sketch the form, andxx => yydsl to fill the content.
- Lenguaje dominante
- Python
- Estrellas
- 52
- Forks
- 5
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Aún no hemos revisado los archivos de configuración de este proyecto. Empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
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 runtimeverification/mir-semantics
-
Remove #init function from KAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
runtimeverification/mir-semantics#1078 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
runtimeverification/mir-semantics#1070 · 2 comentarios ·
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
runtimeverification/mir-semantics#1011 · 1 comentario ·
Todos los issues de runtimeverification/mir-semantics
Issues similares
-
customer-reported
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Azure/azure-cli#34150 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
community-request
Dificultad 1/5 Menos de una hora Aptitud para principiantes 95/100
NVIDIA-NeMo/Curator#2464 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
weblate-discover crashes with an unhandled FileNotFoundError when the directory does not existAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
WeblateOrg/translation-finder#1099 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
trezor/trezor-firmware#7997 ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día