runtimeverification / runtimeverification/mir-semantics
[FEATURE] print rules for nd-branches
Ouverte
@Stevengre y travaille déjà.
Depuis le 14/8/2025.
- Langage dominant
- Python
- Étoiles
- 52
- Forks
- 5
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
- not finished implementation is here: https://github.com/runtimeverification/mir-semantics/pull/652
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Évaluation
Cette issue n'a pas encore été évaluée.