bisect-ssa-pass이란?
noir-ssa CLI를 사용하여 SSA 패스 의미 보존 디버깅을 위한 워크플로입니다. SSA 파이프라인 중에 프로그램의 동작이 잘못 변경될 때 사용합니다. 어느 것이 의미 체계를 위반하는지 식별하기 위해 패스를 양분합니다. `pass_vs_prev` fuzzer는 이러한 문제를 자동으로 찾아냅니다. 출처: noir-lang/noir.
·bisect-ssa-pass
>_
bisect-ssa-pass
✓noir-ssa CLI를 사용하여 SSA 패스 의미 보존 디버깅을 위한 워크플로입니다. SSA 파이프라인 중에 프로그램의 동작이 잘못 변경될 때 사용합니다. 어느 것이 의미 체계를 위반하는지 식별하기 위해 패스를 양분합니다. `pass_vs_prev` fuzzer는 이러한 문제를 자동으로 찾아냅니다.
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` fuzzer는 이러한 문제를 자동으로 찾아냅니다. 출처: noir-lang/noir.
인용 가능한 정보
AI/검색 인용용 안정적인 필드와 명령어.
- 설치 명령어
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass- 카테고리
- >_생산성
- 인증됨
- ✓
- 최초 등록
- 2026-02-20
- 업데이트
- 2026-03-11
빠른 답변
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