Emit WAT, HIR, MASM, and macro-expanded Rust artifacts from the Miden compiler.
npx skills add https://github.com/greenhat/agent-skills --skill emit
Please help me install this Agent Skill. Skill: emit Source: https://github.com/greenhat/agent-skills/tree/main/emit Command: npx skills add https://github.com/greenhat/agent-skills --skill emit
This Skill enables you to produce and inspect intermediate compiler artifacts (WAT, HIR, MASM) and macro-expanded Rust outputs with ease, streamlining debugging and fixture validation for the Miden toolchain.
Set MIDENC_EMIT to the desired outputs (e.g., wat, hir, masm) and MIDENC_EMIT_MACRO_EXPAND for macro expansion dumps, then run your Miden-based tests.
High-intent search queries and answers about installing and using this skill.
To dump macro-expanded Rust code during Miden integration tests, set the MIDENC_EMIT_MACRO_EXP environment variable before running your tests. This leverages cargo expand to assist with compiler change experiments.
Yes, you can output Miden compiler HIR to stdout instead of writing to a file. The emission process supports both file-based and stdout outputs for intermediate representations like WAT, HIR, and MASM.
Inspecting macro-expanded Rust is needed when debugging compiler issues because it reveals the exact code structure after macro expansion. Dumping these outputs helps validate fixtures and verify environment-driven outputs during development.
The MIDENC_EMIT and MIDENC_EMIT_MACRO_EXP environment variables are required to drive Miden intermediate representation outputs. They configure the emission of WAT, HIR, MASM, and macro-expanded Rust artifacts.
greenhatTrace MASM VM execution and print stack state after each instruction.
devs6186Diagnose software bugs through a phase-driven debugging workflow and produce debug reports.
randDiscover relevant IR skills during LLVM IR and compiler development workflows.
simorgh3196Generate ASCII dependency trees from Cargo metadata with depth and feature display.
