bisect-ssa-pass とは？
noir-ssa CLI を使用して SSA パスのセマンティック保存をデバッグするためのワークフロー。 SSA パイプライン中にプログラムの動作が誤って変更される場合に使用します。パスを二分して、セマンティクスを壊すものを特定します。 `pass_vs_prev` ファザーは、そのような問題を自動的に検出します。 ソース: noir-lang/noir。
·bisect-ssa-pass
>_
bisect-ssa-pass
✓noir-ssa CLI を使用して SSA パスのセマンティック保存をデバッグするためのワークフロー。 SSA パイプライン中にプログラムの動作が誤って変更される場合に使用します。パスを二分して、セマンティクスを壊すものを特定します。 `pass_vs_prev` ファザーは、そのような問題を自動的に検出します。
インストール
bisect-ssa-pass のインストール方法
コマンドラインで bisect-ssa-pass AI スキルを開発環境にすばやくインストール
- ターミナルを開く: ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます
- インストールコマンドを実行: このコマンドをコピーして実行します: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass
- インストールを確認: インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
ソース: noir-lang/noir。
SKILL.md
原文を見るUse this skill when debugging SSA optimization bugs - situations where an SSA pass fails to preserve program semantics. This workflow bisects SSA passes to identify which one introduces the behavioral change.
Helper scripts are in the scripts/ directory of this skill.
You need a Noir project with a Prover.toml containing inputs that trigger the suspected issue. The program should produce incorrect results or exhibit unexpected behavior when executed.
noir-ssa CLI を使用して SSA パスのセマンティック保存をデバッグするためのワークフロー。 SSA パイプライン中にプログラムの動作が誤って変更される場合に使用します。パスを二分して、セマンティクスを壊すものを特定します。 `pass_vs_prev` ファザーは、そのような問題を自動的に検出します。 ソース: noir-lang/noir。
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass- カテゴリ
- >_生産性
- 認証済み
- ✓
- 初回登録
- 2026-02-20
- 更新日
- 2026-03-10
クイックアンサー
bisect-ssa-pass のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/noir-lang/noir
詳細
- カテゴリ
- >_生産性
- ソース
- skills.sh
- 初回登録
- 2026-02-20