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

Re: [csmith-dev] Pull request for "float-test" additions to Csmith

Hi Ally,

On 2015-09-16 02:50, Alastair Donaldson wrote:
Hi all

Jacek Burys has submitted a pull request to Csmith, to contribute the
modifications he has made to better support floating-point program
generation, and to allow a mode in which floating point data is
tracked using intervals.

Would someone be willing to review these changes and additions, and
comment on anything that needs to be done to have them merged with
Csmith (assuming you think it would be appropriate for them to be

I will look at the patch over this weekend. Thanks for working on it!

- Yang