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 merged)?
I will look at the patch over this weekend. Thanks for working on it! - Yang