Segfaults on arm64 macOS
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 15/100
- Tipo de issue
- Error
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Área
- build-system
Línea de trabajo
Comienza con las instrucciones predeterminadas para compilar desde el código fuente y las líneas 25–32 de package/test-package.sh; después revisa el LLVM issue enlazado y el llvm-backend pull request. No se describe ninguna corrección en el repositorio; el issue estará terminado cuando K compilado con Nix pueda usar LLVM 17 y las pruebas de EVM en arm64 macOS dejen de terminar con un segfault.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
While debugging an unrelated issue, I noticed that the default build-from-source instructions cause a lot of the EVM tests to segfault on my new arm64 mac.
This is in fact something that's been identified previously in the smoke-testing script for KEVM: https://github.com/runtimeverification/evm-semantics/blob/cd2e87a339cfa9d7046a519d86b7b044a1c63346/package/test-package.sh#L25-L32
The underlying issue is actually in upstream LLVM; I fixed it with a patch to LLVM that landed in LLVM 17. Unfortunately, we are currently blocked on making LLVM 17 available to Nix builds of K: https://github.com/runtimeverification/llvm-backend/pull/927. As a workaround, you can build K from source against LLVM 17 using Homebrew and point the KEVM build system at that K installation.
There isn't a fix for this issue as such; it will be resolved once Nix-built K can use LLVM 17.
- 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 2/5 1-3 horas Aptitud para principiantes 86/100
DaveGamble/cJSON#1094 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
trezor/trezor-firmware#7997 ·
Los mantenedores suelen responder en 2 días
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
objectionary/eolang.sty#184 ·
-
bug good first issue help wanted
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
score-spec/docs#329 · 1 comentario ·