On 2016-09-07 09:10, John Regehr wrote:
Since LLVM 3.9 is out and C-Reduce development seems quiet at the moment, we should do a new release in the near future. Is there anything specific that needs to be done first?
I don't have any pending changes. Thanks. - Yang