Tutorials

Step-by-step, click-level guides. Each one lists only the mechanical steps — for the underlying concepts, see the docs in the repo (docs/pages/).

1. Synthesize Your First Emulator — put a firmware ELF and a .repl platform file where Resect can see them, create and save a project, and run synthesis.
2. Auto-Tune an Emulator — same setup, but let the LLM-driven auto-tune loop improve the emulator round by round.
3. Reading the Run Manifest — find the output files and interpret the numbers: fidelity, coverage, phase timings, time-to-crash, and artifact counts.

All three assume the Docker stack (scripts/run_gui.sh or scripts/run_vnc.sh). If you run natively, the steps are identical except file paths are your real filesystem instead of /workdir.