Il flusso di lavoro per il debug della preservazione semantica del passaggio SSA utilizzando la CLI noir-ssa. Da utilizzare quando il comportamento di un programma cambia in modo errato durante la pipeline SSA: divide in due i passaggi per identificare quale interrompe la semantica. Il fuzzer `pass_vs_prev` rileva automaticamente tali problemi.
Installa rapidamente la skill AI bisect-ssa-pass nel tuo ambiente di sviluppo tramite riga di comando
Fonte: noir-lang/noir.
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.
Il flusso di lavoro per il debug della preservazione semantica del passaggio SSA utilizzando la CLI noir-ssa. Da utilizzare quando il comportamento di un programma cambia in modo errato durante la pipeline SSA: divide in due i passaggi per identificare quale interrompe la semantica. Il fuzzer `pass_vs_prev` rileva automaticamente tali problemi. Fonte: noir-lang/noir.
Campi e comandi stabili per citazioni AI/ricerca.
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-passIl flusso di lavoro per il debug della preservazione semantica del passaggio SSA utilizzando la CLI noir-ssa. Da utilizzare quando il comportamento di un programma cambia in modo errato durante la pipeline SSA: divide in due i passaggi per identificare quale interrompe la semantica. Il fuzzer `pass_vs_prev` rileva automaticamente tali problemi. Fonte: noir-lang/noir.
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
https://github.com/noir-lang/noir