Segfaults on arm64 macOS
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 15/100
- Tipo di issue
- Bug
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- build-system
Direzione di ricerca
Inizia con le istruzioni predefinite per la compilazione dal codice sorgente e con le righe 25–32 di package/test-package.sh, quindi esamina l’LLVM issue collegato e il llvm-backend pull request. Non viene descritto alcun fix nel repository; l’issue è completata quando K compilato con Nix può usare LLVM 17 e i test EVM su arm64 macOS non causano più un segfault.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- KCL
- Stelle
- 592
- Fork
- 156
- Merge medio
- 2h 19m
- PR unite (30g)
- 1
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/evm-semantics
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
runtimeverification/evm-semantics#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/evm-semantics#2879 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2869 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2832 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/evm-semantics#2824 ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
Update vtm to 2026.9.28Apertapackage-update
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
oSoWoSo/vOid_Community_repOsitory#207 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
factory
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
jessepollak/home#1625 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
apache/iceberg-cpp#973 ·
I maintainer di solito rispondono entro 1 giorno
-
Add c++23 mapping to nvccApertafeature request
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 86/100
I maintainer di solito rispondono entro 2 giorni
-
CI: composer install fails — league/flysystem 1.x blocked by security advisory GHSA-cxf4-7mrp-vvprApertadevops type: bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
I maintainer di solito rispondono entro 1 giorno