Re: [creduce-dev] C-Reduce Release

[Yang Chen <chenyang@cs.utah.edu>]

I just checked it out. The master branch works with both LLVM 3.4 and 
LLVM 3.4.1. Quoted from 3.4.1's release note:

"The LLVM and Clang core libraries in this release are API and ABI 
compatible with LLVM 3.4, so projects that make use of the LLVM and 
Clang API and libraries will not need to make any changes in order to 
take advantage of the 3.4.1 release. "

- Yang

On 05/29/2014 10:52 AM, Yang Chen wrote:
> 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