[FEATURE] Provide a stable-mir-json Wrapper for MIR Semantics
@Stevengre がすでに取り組んでいます。
2025年8月7日 から。
評価
この issue はまだ評価されていません。
説明
- discussed here: https://github.com/runtimeverification/mir-semantics/pull/642#discussion_r2256157895
- It can be useful for generating json/dot/png/pdf s through the
kmirto complete the workflow from Rust to KMIR
- 主要言語
- Python
- スター
- 52
- フォーク
- 5
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/mir-semantics のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 65/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
runtimeverification/mir-semantics#1078 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
runtimeverification/mir-semantics#1070 · コメント 2 件 ·
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
runtimeverification/mir-semantics#1011 · コメント 1 件 ·
runtimeverification/mir-semantics の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
kornia/kornia#5263 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
approved correction metadata
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
acl-org/acl-anthology#10133 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
BasedHardware/omi#20084 ·
メンテナーはふだん 1 日以内に返信
-
bug needs-acceptance wg/evaluation-quality
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
vllm-project/semantic-router#4424 ·
メンテナーはふだん 1 日以内に返信