Skip to content

Refactor MIR graph rendering to use a unified traversal via GraphBuilder - #132

Open
0xh4ty wants to merge 23 commits into
runtimeverification:masterfrom
0xh4ty:refactor/unified-graph-traversal
Open

Refactor MIR graph rendering to use a unified traversal via GraphBuilder#132
0xh4ty wants to merge 23 commits into
runtimeverification:masterfrom
0xh4ty:refactor/unified-graph-traversal

mk_graph: centralize graph identity resolution in traversal

3f9d36e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Code Quality
succeeded May 7, 2026 in 40s