runtimeverification / runtimeverification/mir-semantics
[FEATURE] print rules for nd-branches
オープン
@Stevengre がすでに取り組んでいます。
2025年8月14日 から。
- 主要言語
- Python
- スター
- 52
- フォーク
- 5
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
- not finished implementation is here: https://github.com/runtimeverification/mir-semantics/pull/652
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
評価
この issue はまだ評価されていません。