Automatically detect and warn user on bad branches
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 20/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- blockchain
Direzione di ricerca
Inizia esaminando l’issue bloccante #1753 e i casi di branch elencati qui. Il lavoro è completato quando vengono rilevati branch non appropriati, l’utente viene avvisato e l’esplorazione attende la conferma su quale branch o quali branch seguire.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Blocked on: #1753
Bad branches can happen in a variety of cases:
- Branching on gas conditions.
- Branching factor larger than 2 (all branches should be binary).
- Branching on
#Ceilconditions. - Branching on symbolic components of program.
- Branching on the various checks when we do calls/creates (eg. "account exists? balance exists?, etc...")
Most of these cases are not actually "proper" branches, in the sense that they should not be present. So it would be good to not explore these branches further without confirmation from the user about which branch to take (or all of them).
- Lingua principale
- KCL
- Stelle
- 592
- Fork
- 156
- Merge medio
- 2h 19m
- PR unite (30g)
- 1
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. 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/evm-semantics
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
runtimeverification/evm-semantics#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/evm-semantics#2879 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2869 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2832 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/evm-semantics#2824 ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
Remove "useMainnet" hookAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
vetro-protocol/vetro-monorepo#860 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
ZcashFoundation/zebra#11544 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
solana-foundation/program-examples#747 · 1 commento ·
I maintainer di solito rispondono entro 9 giorni
-
bogota
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
NethermindEth/nethermind#14065 ·
I maintainer di solito rispondono entro 1 giorno