On 2014-09-30 07:34, John Regehr wrote:
An all-night run of Csmith+floats didn't turn up any obvious Csmith problems so I went ahead and merged the floating-point branch into master.
Nice. Thanks for doing it! - Yang