No particular rush. Thanks. Also I'd say merge the floating-point branch any time you want. John On 09/29/2014 07:20 PM, Yang Chen wrote:
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