<p><span class="h-card" translate="no"><a href="https://chaos.social/@Nabla" class="u-url mention">@<span>Nabla</span></a></span> so the CXXRTL protocol is very raw (it's comparable to querying a NoSQL database, more so than talking to a debugger) which means I'm focusing on VS Code specifically; the extension has a lot of "smarts" and for some of those it relies on the Verilog/Python/VHDL language servers too</p>