Workflow pour le débogage de la préservation sémantique des passes SSA à l'aide de la CLI noir-ssa. À utiliser lorsque le comportement d'un programme change de manière incorrecte pendant le pipeline SSA - divise les passes en deux pour identifier celle qui rompt la sémantique. Le fuzzer `pass_vs_prev` trouve automatiquement ces problèmes.
Installez rapidement le skill IA bisect-ssa-pass dans votre environnement de développement via la ligne de commande
Source : 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.
Workflow pour le débogage de la préservation sémantique des passes SSA à l'aide de la CLI noir-ssa. À utiliser lorsque le comportement d'un programme change de manière incorrecte pendant le pipeline SSA - divise les passes en deux pour identifier celle qui rompt la sémantique. Le fuzzer `pass_vs_prev` trouve automatiquement ces problèmes. Source : noir-lang/noir.
Champs et commandes stables pour les citations IA/recherche.
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-passWorkflow pour le débogage de la préservation sémantique des passes SSA à l'aide de la CLI noir-ssa. À utiliser lorsque le comportement d'un programme change de manière incorrecte pendant le pipeline SSA - divise les passes en deux pour identifier celle qui rompt la sémantique. Le fuzzer `pass_vs_prev` trouve automatiquement ces problèmes. Source : noir-lang/noir.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
https://github.com/noir-lang/noir