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

Re: [creduce-dev] release time

On 2016-09-07 09:10, John Regehr wrote:
Since LLVM 3.9 is out and C-Reduce development seems quiet at the
moment, we should do a new release in the near future.  Is there
anything specific that needs to be done first?

I don't have any pending changes. Thanks.

- Yang