Replace the heuristic lookup of Cairo variables with a semantic walk in `FunctionDebugInfo`#9992

Open

integraledelebesgue wants to merge 2 commits into

debugger-annotations-v2/var-multimapfrom

debugger-annotations-v2/semantic-mapping

Commits on Jul 3, 2026

Emit a multi-map of Sierra to Cairo variables in `FunctionDebugInfo`

integraledelebesgue
authored and
piotmag769
committed
Replace the heuristic lookup of Cairo variables with semantic walk in `FunctionDebugInfo`

integraledelebesgue
authored and
piotmag769
committed