Re: [csmith-dev] cleanup

[John Regehr <regehr@cs.utah.edu>]

Nevermind, I went back to Xuejun's earlier mails and found the cleaned 
up code here:

  https://github.com/jxyang/csmith

Xuejun, if you get time can you finish your cleanup, or at least get it 
to a stable state, and then issue a pull request?  I'd really like to 
not lose this work as we move forward with FP stuff.

John


On 9/30/14, 12:25 PM, John Regehr wrote:
> Xuejun, I seem to remember that you have some sort of cleanup in
> progress.  Could you commit this code to a github branch?  Now that
> Csmith is changing again, your cleanups risk becoming obsolete, and it
> would be a shame to lose them.
>
> Thanks,
>
> John