runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

runtimeverification/haskell-backend est-il accessible aux débutants ?

Nous avons vu trop peu de pull requests récentes de contributeurs externes sur runtimeverification/haskell-backend pour dire à quelle fréquence elles sont fusionnées. Aucune issue accessible aux débutants n'est ouverte pour l'instant ; la liste ci-dessous montre les autres issues que nous avons pour ce dépôt.

Étoiles: 224
Forks: 43
Issues débutants ouvertes: 0
Issues indexées: 140

Langage dominant: Haskell
Licence: BSD-3-Clause
Dernier push GitHub: 7/7/2026
Dernière indexation: 19/9/2026
Guide de contribution: Aucun guide de contribution
Code de conduite: Aucun code de conduite
Labels débutants: Aucun label débutant indexé
Métriques de merge des PR: Aucune PR mergée en 30 j

Comment contribuer à runtimeverification/haskell-backend

Il n'y a pas de guide de contribution : partez du README et de quelques pull requests fusionnées récemment pour voir comment les changements sont proposés.
Vos contributions seront publiées sous la licence BSD-3-Clause du projet.
Suivez le dépôt pour savoir quand une nouvelle issue accessible aux débutants s'ouvre, ou parcourez les autres issues ci-dessous.

Accessible aux débutants Tout

Ouverte Toutes

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

List matcher treats a symbolic List frame as an element, allowing false proofs
Ouverte
- Quelque chose ne va pas ?
Difficulté 2/5 1-3 heures Accessibilité débutants 88/100

runtimeverification/haskell-backend#4161 · Ouverte le 27/9/2026
Booster: Optimize KMap internal data structure to improve Map operation performance
Peut-être à nouveau libre @Stevengre l’a pris il y a 216 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/haskell-backend#4138 · 9 commentaires · 1 personne assignée · Ouverte le 23/2/2026
kore simplification logs not using rule labels
Ouverte
- Quelque chose ne va pas ?
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

runtimeverification/haskell-backend#4122 · Ouverte le 21/8/2025
Booster Map matching deficiency
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

runtimeverification/haskell-backend#4121 · Ouverte le 21/8/2025
Adjust booster to LLVM API (rename munmap function)
Ouverte
- Quelque chose ne va pas ?
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100

runtimeverification/haskell-backend#4116 · Ouverte le 2/7/2025
Backend fails to simplify complex shift expressions with bitwise AND operations
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#4112 · 2 commentaires · Ouverte le 17/6/2025
Evaluate `sat.smt=true` option for z3
Peut-être à nouveau libre @jberthold l’a pris il y a 608 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/haskell-backend#4089 · 1 personne assignée · Ouverte le 28/1/2025
Booster's simplifier is unable to prune a `#Bottom` state
Peut-être à nouveau libre @jberthold l’a pris il y a 663 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
enhancement

runtimeverification/haskell-backend#4067 · 1 commentaire · 1 personne assignée · Ouverte le 29/10/2024
Use smart `Pattern` constructor throughout the code
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#4065 · Ouverte le 23/10/2024
Add a lightweight check for `requires` of equations when matching is indeterminate
Ouverte
- Quelque chose ne va pas ?
booster enhancement

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#4053 · Ouverte le 27/9/2024
Dynamic prelude
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#4034 · 4 commentaires · Ouverte le 14/8/2024
`booster-dev` crashes on simple test
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

runtimeverification/haskell-backend#4023 · 1 commentaire · Ouverte le 8/8/2024
Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#4012 · Ouverte le 1/8/2024
Run `test-prove-functional` as part of `performance-test-kevm.sh`
Ouverte
- Quelque chose ne va pas ?
Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

runtimeverification/haskell-backend#4005 · Ouverte le 29/7/2024
Extend log processing tools to quantify _phases_ of execution
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 38/100

runtimeverification/haskell-backend#3994 · Ouverte le 24/7/2024
Implies request (from kontrol) taking 1h to process
Peut-être à nouveau libre @goodlyrottenapple l’a pris il y a 798 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/haskell-backend#3990 · 1 personne assignée · Ouverte le 22/7/2024
Modify performance scripts to run with sequential prover
Ouverte
- Quelque chose ne va pas ?
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100

runtimeverification/haskell-backend#3972 · Ouverte le 9/7/2024
Compute remainders in booster
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

runtimeverification/haskell-backend#3956 · Ouverte le 21/6/2024
Reasoning about remainders
Ouverte
- Quelque chose ne va pas ?
bug

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3948 · 3 commentaires · Ouverte le 18/6/2024
Investigate the background of #3917 (injections and SMT)
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

runtimeverification/haskell-backend#3920 · Ouverte le 5/6/2024
Make SMT timeout increase strategy configurable
Ouverte
- Quelque chose ne va pas ?
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3910 · Ouverte le 31/5/2024
Enable using `cvc5` SMT solver in Kore
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

runtimeverification/haskell-backend#3905 · 2 commentaires · Ouverte le 28/5/2024
Treat all terms of sort `Bool` as `Predicate` in `"get-model"`
Ouverte
- Quelque chose ne va pas ?
booster

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3903 · Ouverte le 27/5/2024
Create a profiler leveraging the contextual logging
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3888 · 3 commentaires · Ouverte le 22/5/2024
Add "hard" integration test for Booster's SMT solver interface
Ouverte
- Quelque chose ne va pas ?
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

runtimeverification/haskell-backend#3887 · Ouverte le 22/5/2024
Non-terminating simplifications
Ouverte
- Quelque chose ne va pas ?
bug

Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

runtimeverification/haskell-backend#3873 · 1 commentaire · Ouverte le 15/5/2024
Remove `log-failed-rewrites` "execute" request parameter
Ouverte
- Quelque chose ne va pas ?
cleanup

Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3872 · Ouverte le 15/5/2024
Extend definedness analysis to equations and output results in user-friendly way
Peut-être à nouveau libre @goodlyrottenapple l’a pris il y a 866 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/haskell-backend#3868 · 1 personne assignée · Ouverte le 15/5/2024
Improving pre-SMT reasoning capabilities
Ouverte
- Quelque chose ne va pas ?
enhancement

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

runtimeverification/haskell-backend#3861 · 8 commentaires · Ouverte le 14/5/2024
Improve implication endpoint in booster
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3854 · 2 commentaires · Ouverte le 9/5/2024
Booster: Add internalised representations for Int and Bool
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3848 · Ouverte le 3/5/2024
New command `kore-load` for computing needed issues with definitions
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3840 · Ouverte le 1/5/2024
Branch returned although one of the next states simplifies to #bottom
Peut-être à nouveau libre @jberthold l’a pris il y a 900 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/haskell-backend#3764 · 2 commentaires · 1 personne assignée · Ouverte le 10/4/2024
Flaky behavior on `simplify` endpoint
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

runtimeverification/haskell-backend#3761 · 1 commentaire · Ouverte le 9/4/2024
Collect #Ceil conditions introduced by equations with partial functions
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

runtimeverification/haskell-backend#3780 · 1 commentaire · Ouverte le 14/3/2024
Collect Ceil conditions from rewriting with rules that do not preserve definedness
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3779 · Ouverte le 14/3/2024
Invalid variable names created by internalized rules
Peut-être à nouveau libre @nwatson22 l’a pris il y a 915 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
bug runtimeverification/hs-backend-booster

runtimeverification/haskell-backend#3777 · 3 commentaires · 2 personnes assignées · Ouverte le 11/3/2024
Ceil simplifier in booster
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3773 · 2 commentaires · Ouverte le 6/3/2024
Use exit codes for failures at server startup
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

runtimeverification/haskell-backend#3768 · Ouverte le 22/2/2024
Experiment to evaluate concrete terms in booster instead of llvm library
Peut-être à nouveau libre @jberthold l’a pris il y a 944 jours, et aucune pull request n’est ouverte. Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

runtimeverification/haskell-backend#3767 · 3 commentaires · 1 personne assignée · Ouverte le 21/2/2024
Discussion of "overload" feature in K and whether to support it
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3796 · 3 commentaires · Ouverte le 2/2/2024
Consider adding no-junk and no-confusion axioms to SMT prelude
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

runtimeverification/haskell-backend#3789 · 1 commentaire · Ouverte le 16/1/2024
Backend gets stuck applying `#Ceil` rule for Maps
Ouverte
- Quelque chose ne va pas ?
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3703 · 1 commentaire · Ouverte le 12/12/2023
Attempt rules not preserving definedness when configuration is concrete
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

runtimeverification/haskell-backend#3774 · Ouverte le 8/12/2023
Constraints with an existential variable produced by `kmxwasm` cannot be internalised by Booster
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

runtimeverification/haskell-backend#3766 · 1 commentaire · Ouverte le 24/11/2023
Set simplification lemmas appear to cause slowdown
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

runtimeverification/haskell-backend#3693 · Ouverte le 7/11/2023
Adjust documentation for kore-syntax and kore-JSON to multi-ary and/or
Ouverte
- Quelque chose ne va pas ?
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3680 · 1 commentaire · Ouverte le 17/10/2023
Add a hook for `KRYPTO.bn128valid`
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

runtimeverification/haskell-backend#3674 · Ouverte le 10/10/2023
Lemma with an `ensures` clause is not being applied
Ouverte
- Quelque chose ne va pas ?
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

runtimeverification/haskell-backend#3669 · 8 commentaires · Ouverte le 3/10/2023
Handle substitutions in Booster directly
Ouverte
- Quelque chose ne va pas ?
runtimeverification/hs-backend-booster

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 32/100

runtimeverification/haskell-backend#3781 · Ouverte le 7/9/2023

Affichage des 100 plus récents

Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.

Ouvrir le filtre avancé

runtimeverification/haskell-backend