Code

Graph improvements#72

Code

Merged

dkcumming merged 8 commits intomasterruntimeverification/stable-mir-json:masterfrom

dc/graph-improvementsruntimeverification/stable-mir-json:dc/graph-improvementsCopy head branch name to clipboard

May 1, 2025

Commits

Commits on Apr 29, 2025

• Added parenthesis around Deref

  dkcumming

  committed
  7913954

  Copy full SHA for 7913954

• Tweaked formatting of constants

  dkcumming

  committed
  f6af8ff

  Copy full SHA for f6af8ff

• Changed printing of Rvalue::AddressOf

  dkcumming

  committed
  66550c2

  Copy full SHA for 66550c2

• First attempt at printing locals with types

  dkcumming

  committed
  1f3dba7

  Copy full SHA for 1f3dba7

• cargo clippy and cargo fmt

  dkcumming

  committed
  c294219

  Copy full SHA for c294219

Commits on May 1, 2025

• Update src/mk_graph.rs

  Show description for a490bf2
  

  dkcumming

  and

  jberthold

  authored
  a490bf2

  Copy full SHA for a490bf2

• fixed missing arg setting the color

  dkcumming

  committed
  6a1d1f2

  Copy full SHA for 6a1d1f2

• Merge branch 'master' into dc/graph-improvements

  dkcumming

  committed
  d0d629d

  Copy full SHA for d0d629d