John Regehr <regehr@cs.utah.edu> writes: > 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. Cool!