[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] floats merged



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