Wasn't aware of Alive2. Thx, I'll have look. I had some success with https://github.com/mrphrazer/msynth https://github.com/mrphrazer/msynth But its hard to gl

Wasn't aware of Alive2. Thx, I'll have look. I had some success with https://github.com/mrphrazer/msynth https://github.com/mrphrazer/msynth But its hard to glue this to LLVM.