[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] floats
No particular rush. Thanks.
Also I'd say merge the floating-point branch any time you want.
On 09/29/2014 07:20 PM, Yang Chen wrote:
On 2014-09-29 18:14, Eric Eide wrote:
John Regehr <email@example.com> writes:
Hi Yang, if you have time and energy, want to add doubles in addition to
floats? I doubt that this requires much work.
Surely, it doubles the work? Har har har.
Well, we will see if it doubles or not :)
John, Yes, I will add doubles. I am pretty busy this week, probably I
can do that next week.