Workflow zum Debuggen der SSA-Pass-Semantikkonservierung mithilfe der noir-ssa-CLI. Wird verwendet, wenn sich das Verhalten eines Programms während der SSA-Pipeline falsch ändert – halbiert Durchgänge, um zu identifizieren, welcher Durchlauf die Semantik unterbricht. Der „pass_vs_prev“-Fuzzer findet solche Probleme automatisch.
Installieren Sie den KI-Skill bisect-ssa-pass schnell in Ihrer Entwicklungsumgebung über die Kommandozeile
Quelle: 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 zum Debuggen der SSA-Pass-Semantikkonservierung mithilfe der noir-ssa-CLI. Wird verwendet, wenn sich das Verhalten eines Programms während der SSA-Pipeline falsch ändert – halbiert Durchgänge, um zu identifizieren, welcher Durchlauf die Semantik unterbricht. Der „pass_vs_prev“-Fuzzer findet solche Probleme automatisch. Quelle: noir-lang/noir.
Stabile Felder und Befehle für KI/Such-Zitate.
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-passWorkflow zum Debuggen der SSA-Pass-Semantikkonservierung mithilfe der noir-ssa-CLI. Wird verwendet, wenn sich das Verhalten eines Programms während der SSA-Pipeline falsch ändert – halbiert Durchgänge, um zu identifizieren, welcher Durchlauf die Semantik unterbricht. Der „pass_vs_prev“-Fuzzer findet solche Probleme automatisch. Quelle: noir-lang/noir.
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
https://github.com/noir-lang/noir