[creduce-dev] quick question for C-Reduce users

[John Regehr]

Is the current C-Reduce working well for people?

After spending a bunch of time on it over the summer, I now need to go 
do other things for a while.

If C-Reduce is in a good state, we'll clean up a bit and do a 2.1 release.

Thanks,

John