Optimize the side conditions in the semantics to help the booster backend reasoning
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Refactorización
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- backend
Línea de trabajo
Empieza leyendo el issue #2732 y rastreando cómo las condiciones laterales de las reglas de simplificación llegan al booster backend. Compara normalizar las reglas a CNF con introducir la transformación en el frontend y, después, verifica que las condiciones laterales resultantes sean más sencillas durante el razonamiento sin cambiar el comportamiento lógico.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
- #2732 shows that the booster backend will not transform side conditions in the simplication rules into CNF to simplify the conditon during reasoning. It doesn't lead to anything wrong logically, but just makes the side condition more complex to understand. To sovle this problem, we can just make the side conditions in the rules as CNF. Or introduce this transformation in the frontend.
- Lenguaje dominante
- KCL
- Estrellas
- 592
- Forks
- 156
- Merge medio
- 2 h 19 min
- PR fusionados (30 d)
- 1
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/evm-semantics
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 78/100
runtimeverification/evm-semantics#1190 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
runtimeverification/evm-semantics#2879 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
runtimeverification/evm-semantics#2869 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
runtimeverification/evm-semantics#2832 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
runtimeverification/evm-semantics#2824 ·
Todos los issues de runtimeverification/evm-semantics
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
jessepollak/home#1627 ·
Los mantenedores suelen responder en 1 día
-
enhancement status: needs triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
mastra-ai/mastra#25508 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
canonical/testflinger#1346 · 1 comentario ·
Los mantenedores suelen responder en 2 días
-
onedrive: ChangeNotify drops the delta token after one failed poll and stops notifying until remountAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 3 días