On 01/04/2016 02:46 AM, John Regehr wrote:
Looks like LLVM 3.8 is scheduled for sometime in Feb. Let's do a new C-Reduce release a few days after that.
Sounds good to me. Thanks. - Yang