runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
Ist runtimeverification/haskell-backend einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/haskell-backend gesehen, um zu sagen, wie oft sie gemergt werden. Gerade ist kein einsteigerfreundliches Issue offen; die Liste unten zeigt die übrigen Issues, die wir von diesem Repository kennen.
- Sterne
- 224
- Forks
- 43
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 140
- Vorherrschende Sprache
- Haskell
- Lizenz
- BSD-3-Clause
- Letzter GitHub-Push
- 07.7.2026
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
So tragen Sie zu runtimeverification/haskell-backend bei
- Es gibt keinen Contributing Guide. Beginnen Sie mit der README und einigen kürzlich gemergten Pull Requests, um zu sehen, wie Änderungen eingereicht werden.
- Ihre Beiträge werden unter der BSD-3-Clause-Lizenz des Projekts veröffentlicht.
- Folgen Sie dem Repository, um von neuen einsteigerfreundlichen Issues zu erfahren, oder sehen Sie sich die übrigen Issues unten an.
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 88/100
-
Booster: Optimize KMap internal data structure to improve Map operation performanceEvtl. wieder frei @Stevengre hat das vor 217 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/haskell-backend#4138 · 9 Kommentare · 1 zugewiesene Person ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/haskell-backend#4112 · 2 Kommentare ·
-
Evaluate `sat.smt=true` option for z3Evtl. wieder frei @jberthold hat das vor 608 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/haskell-backend#4089 · 1 zugewiesene Person ·
-
Booster's simplifier is unable to prune a `#Bottom` stateEvtl. wieder frei @jberthold hat das vor 663 Tagen übernommen, und es ist kein Pull Request offen. Offenenhancement
runtimeverification/haskell-backend#4067 · 1 Kommentar · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
booster enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Dynamic preludeOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#4034 · 4 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100
runtimeverification/haskell-backend#4023 · 1 Kommentar ·
-
Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 38/100
-
Implies request (from kontrol) taking 1h to processEvtl. wieder frei @goodlyrottenapple hat das vor 798 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/haskell-backend#3990 · 1 zugewiesene Person ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
bug
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3948 · 3 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
runtimeverification/haskell-backend#3905 · 2 Kommentare ·
-
booster
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3888 · 3 Kommentare ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
runtimeverification/haskell-backend#3873 · 1 Kommentar ·
-
cleanup
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Extend definedness analysis to equations and output results in user-friendly wayEvtl. wieder frei @goodlyrottenapple hat das vor 866 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/haskell-backend#3868 · 1 zugewiesene Person ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/haskell-backend#3861 · 8 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3854 · 2 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Branch returned although one of the next states simplifies to #bottomEvtl. wieder frei @jberthold hat das vor 900 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/haskell-backend#3764 · 2 Kommentare · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
runtimeverification/haskell-backend#3761 · 1 Kommentar ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/haskell-backend#3780 · 1 Kommentar ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Invalid variable names created by internalized rulesEvtl. wieder frei @nwatson22 hat das vor 916 Tagen übernommen, und es ist kein Pull Request offen. Offenbug runtimeverification/hs-backend-booster
runtimeverification/haskell-backend#3777 · 3 Kommentare · 2 zugewiesene Personen ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3773 · 2 Kommentare ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
-
Experiment to evaluate concrete terms in booster instead of llvm libraryEvtl. wieder frei @jberthold hat das vor 944 Tagen übernommen, und es ist kein Pull Request offen. Offenruntimeverification/hs-backend-booster
runtimeverification/haskell-backend#3767 · 3 Kommentare · 1 zugewiesene Person ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3796 · 3 Kommentare ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
runtimeverification/haskell-backend#3789 · 1 Kommentar ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3703 · 1 Kommentar ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
Constraints with an existential variable produced by `kmxwasm` cannot be internalised by BoosterOffenruntimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/haskell-backend#3766 · 1 Kommentar ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/haskell-backend#3680 · 1 Kommentar ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/haskell-backend#3669 · 8 Kommentare ·
-
runtimeverification/hs-backend-booster
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 32/100
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.