On 2016-05-26 23:16, John Regehr wrote:
Actually it might be useful for us to teach C-Reduce not to emit these messages if the C-Reduce release is more than 6 months old (and therefore not the latest release). What do you think Yang and Eric?
Yes, this approach sounds good to me. - Yang