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

Re: [csmith-dev] csmith-extandable



John,

The major plan for this branch is to make Csmith more customizable and more extendable, as a step stone towards making Csmith a multi-language program generator. We intent to use it as an experimental project, and I certainly hope people start contributing to it.  

I don't think It is not stable enough to be merged with the master. It probably needs a couple of more months to stabilize.  I don't see many conflicts between the code checked into the master and the ones checked into the branch. Some manual work are required but manageable IMO. 

-Xuejun

-----Original Message-----
From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of John Regehr
Sent: Saturday, October 24, 2015 3:03 PM
To: csmith-dev@flux.utah.edu
Subject: [csmith-dev] csmith-extandable

Xuejun, could you please give us an update about the csmith-extendable branch?  What is the status and what are the plans for it?  I worry that it will diverge to the point of being unmergeable.

John