Add dedicated SourceTarget to kdist
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- python
- Ambito
- build-system, tooling
Direzione di ricerca
Inizia dai punti di ingresso KEVMTarget e kevm_kompile, concentrandoti su come Target.source e Target.deps influenzano il tracciamento del manifest. Confronta il pattern SourceTarget nel file collegato skribe src/skribe/kdist/plugin.py, quindi implementalo prima per evm-semantics. Il lavoro è completato quando le sorgenti aggiuntive vengono tracciate e le build derivate non richiedono più di pulire kdist per evitare lo stesso hash della cache.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Currently, evm-semantics is built by building the KEVMTarget kdist target. This target depends on the plugin and also builds KEVM with the given plugin using the function kevm_kompile. Other projects that derive from KEVM such as kontrol and kontrol-node also build KEVM with additional k source files and another main k file and module. While these source files can be successfully added to kompile args, these source files are not tracked by the manifest that uses the Target method source. Additionally, a requirement by pyk is that all referenced source files in the method source must be available in the python module. That means that one cannot inherit from KEVM to override source and keep all referenced files in tact. At the same time, a source target dependency cannot be injected into KEVMTarget, because dependencies are returned by the Target method deps. This is why kontrol and kontrol-node builds always generate the same hash in the kdist cache. In oder to successfully build kontrol or kontrol-node, kdist must be cleaned prior to building. This causes kdist to always unnecessarily rebuild the KEVM plugin, which is slow.
To fix this, the SourceTarget pattern used in web assembly and risc-v semantics repositories can be used. This can be first implemented in evm-semantics and afterwards adapted in kontrol and kontrol-node respectively.
- Lingua principale
- KCL
- Stelle
- 595
- Fork
- 159
- Merge medio
- 4g 3h
- PR unite (30g)
- 1
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: 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
-
package_info fails analysis with --incompatible_stop_exporting_build_file_pathForse già presa @mkanat l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
bazelbuild/rules_license#184 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
k2-fsa/sherpa-onnx#4100 ·
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
up-for-grabs/up-for-grabs.net#6330 ·
I maintainer di solito rispondono entro 1 giorno
-
add pooch to dependenciesForse già presa @IAlibay l’ha presa oggi. Aperta
Difficoltà 1/5 1-3 ore Idoneità per principianti 66/100