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

Re: [creduce-dev] C-Reduce Release

On 5/29/14 9:45 AM, John Regehr wrote:
Is LLVM 3.4.1 just a bugfix release? If so, we can probably support both 3.4 and 3.4.1.

Yang do you have time to look into this?

I think LLVM 3.4.1 is a bugfix release. I will work on it.

- Yang