Re: [csmith-dev] cleanup

[Xuejun Yang <xuyang@microsoft.com>]

BTW, it's not just the cleanup for Csmith, the changes also lay the ground work to turn Csmith into a program generator for general programming languages. Anybody who is interested in contributing  please shoot me an email. 

-Xuejun

-----Original Message-----
From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of Xuejun Yang
Sent: Tuesday, September 30, 2014 11:55 AM
To: John Regehr; csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] cleanup

Sure. I left the work in the middle hoping somebody could test it. Then I get occupied by other things. 

It would be a shame to leave the code in an unstable state. I just couldn't find time now.

-Xuejun

-----Original Message-----
From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of John Regehr
Sent: Tuesday, September 30, 2014 11:44 AM
To: csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] cleanup

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
>