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!
EDIT: I just realized that, in addition to providing a SpecC backend for Icarus, I am probably also going to have to provide a SpecC frontend for Icarus as well. This will allow for simulating and synthesizing Controlix using most commerical tools, which only support VHDL and Verilog (and SystemC, but that is a wierd and somewhat nonstandard language and so for now I discount it).