MFSim target does not appropriately translate while conditionals

オープン

#85 2020年9月14日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

まず mfsim_target.py の TODO を開き、MFSim のターゲット条件がどのように変換されるかを追跡します。コンパイラ周辺のコードから期待される変換を判断し、関連する既存のチェックがあれば、それを使って修正後の動作を確認します。

索引モデルが issue の本文から書いたものです。

bug

See TODO in mfsim_target.py

このリポジトリのコントリビューションガイドは索引されていません

update readme オープン

難易度 1/5 1時間未満初心者へのやさしさ 62/100

lilott8/BioScript#70 · 2019年11月5日に作成
Functions are broken オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

lilott8/BioScript#87 · 2020年9月30日に作成
VolumeTracker to track set of all possible volumes オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

lilott8/BioScript#80 · 2020年2月4日に作成
VolumeTracker should deal with Phi nodes appropriately オープン

bug good first issue

難易度 3/5 1〜2日初心者へのやさしさ 48/100

lilott8/BioScript#79 · 2020年2月4日に作成
Finish and verify z3 tests オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

lilott8/BioScript#77 · 2020年1月28日に作成

[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell オープン

area: harness bug status: needs-triage

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

Human-Agent-Society/reef#625 · 2026年9月24日に作成
Bump transitive axios to >=1.18.0 to address GHSA-hcpx-6fm6-wx23 オープン

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

coinbase/cdp-sdk#828 · 2026年9月24日に作成
AccessibleResourceCard/AccessibleChannelCard crash when a resource has more than one learning activity (getActivityTags returns an object instead of an array) オープン

難易度 1/5 1時間未満初心者へのやさしさ 80/100

learningequality/kolibri#15351 · コメント 2 件 · 2026年9月24日に作成
audeer.path(): optionally expand environment variables オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

audeering/audeer#212 · コメント 1 件 · 2026年9月24日に作成
Name consistency オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

eellak/triplestore#65 · コメント 1 件 · 2026年9月24日に作成