runtimeverification/llvm-backend
KORE to llvm translation
runtimeverification/llvm-backend é bom para iniciantes?
Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/llvm-backend para dizer com que frequência eles recebem merge. Agora há 1 issue para iniciantes aberta.
- Estrelas
- 43
- Forks
- 22
- Issues abertas para iniciantes
- 1
- Issues indexadas
- 41
- Linguagem predominante
- C++
- Licença
- BSD-3-Clause
- Último push no GitHub
- 23/6/2026
- Última indexação
- 19/9/2026
- Guia de contribuição
- Sem guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- Nenhum label para iniciantes indexado
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Como contribuir com runtimeverification/llvm-backend
- Não há guia de contribuição, então comece pelo README e por alguns pull requests com merge recente para ver como as mudanças são propostas.
- Suas contribuições serão publicadas sob a licença BSD-3-Clause do projeto.
- Escolha a issue aberta para iniciantes abaixo e comente que quer trabalhar nela antes de começar.
Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 84/100
runtimeverification/llvm-backend#1221 · 1 comentário ·
-
code generation wontfix
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#1211 ·
-
bug garbage collection
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#1204 ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#1196 ·
-
CMake fix for Mac buildingAberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#1181 · 3 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#1171 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 38/100
runtimeverification/llvm-backend#1124 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#1113 · 4 comentários ·
-
backend runtime bug
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#1106 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#1099 ·
-
pybind11 raises a `UnicodeDecodeError` on non-utf bytes in terms of sort `Bytes`Talvez livre de novo @gtrepta assumiu há 846 dias e não há nenhum pull request aberto. Abertabindings
runtimeverification/llvm-backend#1078 · 1 comentário · 1 responsável ·
-
Recreate llvm-backend gcroots code on develop branchTalvez livre de novo @theo25 assumiu há 674 dias e não há nenhum pull request aberto. Aberta
runtimeverification/llvm-backend#1077 · 2 comentários · 1 responsável ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#1042 · 2 reações ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#1017 ·
-
debugger
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#1015 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#994 · 2 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#987 · 3 comentários ·
-
Deep dive notesAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
bindings bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#943 · 2 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
runtimeverification/llvm-backend#1018 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
[GDB] Create script and tests for GDB to run in CITalvez livre de novo @Robertorosmaninho assumiu há 1098 dias e não há nenhum pull request aberto. Abertadebugger
runtimeverification/llvm-backend#840 · 2 comentários · 1 responsável ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Range maps printingAberta
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#798 · 2 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#788 · 4 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#749 · 5 comentários ·
-
bug debugger
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#746 · 16 comentários ·
-
bug debugger
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
runtimeverification/llvm-backend#726 · 1 comentário ·
-
Add global lock to GCAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
-
bindings
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#692 · 4 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
runtimeverification/llvm-backend#676 · 1 comentário ·
-
documentation
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#495 · 6 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#467 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
runtimeverification/llvm-backend#383 · 2 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
runtimeverification/llvm-backend#336 · 3 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Support [memo] attributeAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
runtimeverification/llvm-backend#247 · 5 comentários ·
-
Performance overhead in proof_trace_callback_writerTalvez já em andamento Um pull request vinculado a esta issue está aberto ou já foi mesclado. Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/llvm-backend#1197 · 1 comentário ·