[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] Close to New C-Reduce Release
Thanks for working on this, Eric.
On 2015-09-21 12:21, Eric Eide wrote:
John and Yang, can you look over the TODO file, to see if anything
to be updated?
The TODO file looks good to me.
You might want to give it (the master branch) a go. Alternately, tell
you are planning to commit something that you want to go into the
I tried it on Ubuntu 14.04 last Saturday, and it worked well. I don't
have anything to commit at the moment.