runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
runtimeverification/haskell-backend é bom para iniciantes?
Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/haskell-backend para dizer com que frequência eles recebem merge. Agora há 1 issue para iniciantes aberta.
- Estrelas
- 224
- Forks
- 43
- Issues abertas para iniciantes
- 1
- Issues indexadas
- 140
- Linguagem predominante
- Haskell
- Licença
- BSD-3-Clause
- Último push no GitHub
- 7/7/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/haskell-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 2/5 1-3 horas Facilidade para iniciantes 88/100
-
Booster: Optimize KMap internal data structure to improve Map operation performanceTalvez livre de novo @Stevengre assumiu há 217 dias e não há nenhum pull request aberto. Aberta
runtimeverification/haskell-backend#4138 · 9 comentários · 1 responsável ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/haskell-backend#4112 · 2 comentários ·
-
Evaluate `sat.smt=true` option for z3Talvez livre de novo @jberthold assumiu há 608 dias e não há nenhum pull request aberto. Aberta
runtimeverification/haskell-backend#4089 · 1 responsável ·
-
Booster's simplifier is unable to prune a `#Bottom` stateTalvez livre de novo @jberthold assumiu há 664 dias e não há nenhum pull request aberto. Abertaenhancement
runtimeverification/haskell-backend#4067 · 1 comentário · 1 responsável ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
booster enhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dynamic preludeAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#4034 · 4 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100
runtimeverification/haskell-backend#4023 · 1 comentário ·
-
Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`Aberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 45/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 38/100
-
Implies request (from kontrol) taking 1h to processTalvez livre de novo @goodlyrottenapple assumiu há 798 dias e não há nenhum pull request aberto. Aberta
runtimeverification/haskell-backend#3990 · 1 responsável ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
-
Reasoning about remaindersAbertabug
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3948 · 3 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
runtimeverification/haskell-backend#3905 · 2 comentários ·
-
booster
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3888 · 3 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
runtimeverification/haskell-backend#3873 · 1 comentário ·
-
cleanup
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Extend definedness analysis to equations and output results in user-friendly wayTalvez livre de novo @goodlyrottenapple assumiu há 866 dias e não há nenhum pull request aberto. Aberta
runtimeverification/haskell-backend#3868 · 1 responsável ·
-
enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
runtimeverification/haskell-backend#3861 · 8 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3854 · 2 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Branch returned although one of the next states simplifies to #bottomTalvez livre de novo @jberthold assumiu há 901 dias e não há nenhum pull request aberto. Aberta
runtimeverification/haskell-backend#3764 · 2 comentários · 1 responsável ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
runtimeverification/haskell-backend#3761 · 1 comentário ·
-
runtimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
runtimeverification/haskell-backend#3780 · 1 comentário ·
-
runtimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Invalid variable names created by internalized rulesTalvez livre de novo @nwatson22 assumiu há 916 dias e não há nenhum pull request aberto. Abertabug runtimeverification/hs-backend-booster
runtimeverification/haskell-backend#3777 · 3 comentários · 2 responsáveis ·
-
Ceil simplifier in boosterAbertaruntimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3773 · 2 comentários ·
-
runtimeverification/hs-backend-booster
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
-
Experiment to evaluate concrete terms in booster instead of llvm libraryTalvez livre de novo @jberthold assumiu há 945 dias e não há nenhum pull request aberto. Abertaruntimeverification/hs-backend-booster
runtimeverification/haskell-backend#3767 · 3 comentários · 1 responsável ·
-
runtimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3796 · 3 comentários ·
-
runtimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
runtimeverification/haskell-backend#3789 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3703 · 1 comentário ·
-
runtimeverification/hs-backend-booster
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
-
Constraints with an existential variable produced by `kmxwasm` cannot be internalised by BoosterAbertaruntimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/haskell-backend#3766 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
runtimeverification/haskell-backend#3680 · 1 comentário ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/haskell-backend#3669 · 8 comentários ·
-
runtimeverification/hs-backend-booster
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 32/100
Mostrando os 100 mais recentes
Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.