Code

Expand polonius MIR dump#136031

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom lqd:polonius-debugger-episode-1lqd/rust:polonius-debugger-episode-1Copy head branch name to clipboardJan 26, 2025

+216-34

Commits

Commits on Jan 25, 2025

• extract principal MIR dump function

  Show description for 492d985
  lqd

  committed
  492d985

  Copy full SHA for 492d985

• use more explicit MIR dumping process

  lqd

  committed
  3631c15

  Copy full SHA for 3631c15

• switch polonius MIR dump to HTML

  Show description for 6baa65e
  lqd

  committed
  6baa65e

  Copy full SHA for 6baa65e

• fix terminator edges comments

  lqd

  committed
  82c0168

  Copy full SHA for 82c0168

• add CFG to polonius MIR dump

  lqd

  committed
  09fb70a

  Copy full SHA for 09fb70a