[FEAT] Tackle impossible cases with minimal requirements
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 35/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- compilers
Direzione di ricerca
Inizia da issue #888 ed esamina la definizione e gli utilizzi di #lookupDiscrAux, in particolare il caso che coinvolge ?SplHasDelegateKey e i discriminanti elencati. Determina in che modo i bounds esistenti stabiliscono il risultato 0-or-1 e individua un modo supportato dal progetto per eliminare la clausola ensure ridondante; il lavoro è completo quando i casi impossibili non richiedono più quell’ensure esplicito.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
In #888, we use ensure (0 ==Int #lookupDiscrAux(discriminant(0) discriminant(1) .Discriminants, ?SplHasDelegateKey) orBool 1 ==Int #lookupDiscrAux(discriminant(0) discriminant(1) .Discriminants, ?SplHasDelegateKey)) to avoid unreachable cases.
However, 0 <=Int ?SplHasDelegateKey andBool ?SplHasDelegateKey <=Int 1 and the definiton of #lookupDiscrAux should already give enough information that it should be 0 or 1 for this #lookupDiscrAux.
Could we provide a way to avoid this redundant ensure clause?
- Lingua principale
- Python
- Stelle
- 55
- Fork
- 5
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
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/mir-semantics
-
Remove #init function from KAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
-
Inconsistent KMIR versions across projectForse già presa @dkcumming l’ha presa 106 giorni fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
runtimeverification/mir-semantics#1078 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
runtimeverification/mir-semantics#1070 · 2 commenti ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
runtimeverification/mir-semantics#1011 · 1 commento ·
Tutte le issue di runtimeverification/mir-semantics
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
microsoft/agent-lightning#661 ·
I maintainer di solito rispondono entro 2 giorni
-
area/profiles comp/cli P3 type/feature
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
NousResearch/hermes-agent#146372 ·
I maintainer di solito rispondono entro 1 giorno
-
[BUG] OpenAI-compatible embedding model alias breaks embedder constructionForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
I maintainer di solito rispondono entro 1 giorno
-
[oblt-aw][autodoc] Document obs-aw-automerge contract and fix automerge doc inconsistenciesForse già presa @github-actions l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
GeoSeries scale and skew tests fail with pytest 9.2.0Forse già presa @jiayuasu l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno