On 2016-04-04 02:08, John Regehr wrote:
Regarding the issue of the Csmith code base, if we have active users who use compilers that can't handle C++11 then I'm fine (for now) with keeping C++11 out.
Same here. In the long term, I think we should move towards C++11. - Yang