LLVM-Backend Generated Interpreter C API Documentation
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 25/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- api, documentation
Direzione di ricerca
Inizia con il backend LLVM e gli interpreti generati da llvm-kompile descritti nell’issue. Fai un inventario dei simboli hard-coded e generati in fase di compilazione esposti dai file oggetto, quindi documenta quali sono stabili o interni e quali sono le pratiche di linking consigliate per il C FFI.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
The LLVM backend, in conjunction with the tool llvm-kompile, can generate object files which contain the entire definition of an K semantics as machine object code.
These object files can then be used to link the LLVM-generated interpreters into custom C code, or any language that supports C FFIs.
However, currently, the interface that the LLVM-backend generated interpreters expose is a mixture of hard-coded and compile-time generated symbols, and there is no documentation of which sybmols are exported or best practices around, e.g., which symbols are considered part of a stable API and which symbols are considered internal and should not be explicitly linked against.
Such documentation would not only enable K developers to more easily productize K by adapting to specific client needs, it would also enable more possible uses of K in the broader community.
For those reasons, I think it is worth documenting these symbols (even if the documentation is marked experimental, as needed).
- Lingua principale
- C++
- Stelle
- 43
- Fork
- 22
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
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/llvm-backend
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 84/100
runtimeverification/llvm-backend#1221 · 1 commento ·
-
code generation wontfix
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/llvm-backend#1211 ·
-
bug garbage collection
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/llvm-backend#1204 ·
-
Performance overhead in proof_trace_callback_writerForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/llvm-backend#1197 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/llvm-backend#1196 ·
Tutte le issue di runtimeverification/llvm-backend
Issue simili
-
good first issue invalid
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
DanielJerolm/gpcc#74 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
patrick-hudson/put.gd-desktop#808 ·
I maintainer di solito rispondono entro 1 giorno
-
DPI change is not fully handled in the cascading window on WindowsForse già presa @yukawa l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 4 giorni
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement Ready for final check
Difficoltà 2/5 1-3 ore Idoneità per principianti 79/100
mpogue2/SquareDesk#1818 · 1 commento ·