Another couple of YEARS without progress, but I'm still not giving up on Controlix. The latest justification for an update is that I've finally managed to get a working build of SpecC, and since I can also now write a back-end translator for Icarus for SpecC (and thus keep compatibility with Verilog and VHDL), I have decided to change the core language Controlix is written in (again!) to SpecC.
SpecC has many advantages here:
Does it have any significant disadvantages compared to Icarus or GHDL? I honestly can't see any right now, other than my pain of having to learn a lot of compiler-related stuff for the Icarus back-end job, and I don't have to do that right away. Here goes!