runtimeverification / runtimeverification/mir-semantics
[FEATURE] print rules for nd-branches
Aperta
@Stevengre ci sta già lavorando.
Dal 14/8/2025.
- Lingua principale
- Python
- Stelle
- 52
- Fork
- 5
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
- not finished implementation is here: https://github.com/runtimeverification/mir-semantics/pull/652
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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.
Valutazione
Questa issue non è ancora stata valutata.