kore simplification logs not using rule labels
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 48/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- haskell
- Ambito
- backend, observability
Direzione di ricerca
Inizia individuando il codice di logging della semplificazione di Kore e confronta la gestione degli identificatori delle regole con il comportamento del booster descritto nell'issue. Verifica che il contesto e il messaggio del log utilizzino un'etichetta della regola quando ne esiste una e, altrimenti, una posizione della regola; l'issue non indica alcun file o test specifico.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
The simplification logs contain rule labels if they exist, or otherwise rule locations, to relate rule IDs to K source code (labels or locations) .
The log lines have shape {context: [..., simplification: <rule hash>, detail], message: <rule label or location>}.
While booster uses rule labels if they exist, simplification logs from kore do not report labels and always use locations. Kore should log the rule label if a rule has a label.
- Lingua principale
- Haskell
- Stelle
- 228
- Fork
- 46
- Merge medio
- 21h 48m
- PR unite (30g)
- 1
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Nessuna guida per i contributori
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/haskell-backend
-
Booster: Optimize KMap internal data structure to improve Map operation performanceForse di nuovo libera @Stevengre l’ha presa 243 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/haskell-backend#4138 · 9 commenti · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/haskell-backend#4112 · 2 commenti ·
-
Evaluate `sat.smt=true` option for z3Forse di nuovo libera @jberthold l’ha presa 634 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/haskell-backend#4089 · 1 assegnatario ·
Tutte le issue di runtimeverification/haskell-backend
Issue simili
-
MorphRule, DataizeRule and ContextualizeRule silently accept unknown YAML keys, unlike rewrite `Rule`Forse già presa @renyamamoto2026-cmyk l’ha presa 1 giorno fa. Apertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
objectionary/phino#2107 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
tweag/tricorder#640 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno