Since the synthesis server appears to be down again (“synthesis already running” errors), I’ve been working on an alternative setup using Gitpod. You get a web-based editor (VSCode), server-side compilation (
yosys, etc. installed and running on their service), and I should be able to port the USB flashing code to a VSCode extension.
The one sticking point is
compress-bitstream. There’s no source or documentation, so it’s riskier to install. @ryanmjacobs, could you publish your sources or a spec? Alternately, can we flash without it?