Devtools#665

Open

desmonddak wants to merge 15 commits into

desmonddak:devtools

Commits on Jun 3, 2026

updated devtool area
desmonddak
committed

Commits on Jun 5, 2026

baseline for new devtools with good VM/DTD connect/reconnect, live values
desmonddak
committed

Commits on Jun 6, 2026

Commits on Jun 14, 2026

Commits on Jun 15, 2026

Potential fix for pull request finding

desmonddak
and
Copilot
authored

Commits on Jun 19, 2026

Commits on Jun 20, 2026

Update ROHD VF tutorial interface example
desmonddak
committed

Commits on Jun 21, 2026

added back pubkeys, and made a wget a fallback solution with loud warning
desmonddak
committed

Commits on Jun 22, 2026