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

Re: [csmith-dev] floats

On 2014-09-29 18:14, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> 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.

- Yang