Re: [creduce-dev] More patches to compile with LLVM 3.2

[Yang Chen]

Eitan Adler wrote:
On 17 April 2013 17:51, Yang Chen <cheny...@cs.utah.edu> wrote:
  

I will update the code after LLVM 3.3 is released.
    

By this you mean update to llvm 3.3 or make a release of creduce?
  

We will definitely update to llvm 3.3. There are some pending issues for 
make a new C-Reduce release. But we will give it a try :)

- Yang