Eitan Adler wrote:
On 25 March 2013 11:08, Jonas Wagner <[email protected]> wrote:
Hi,
I checked out the current creduce version from Git today. It needed a few
small tweaks to compile with LLVM 3.2 (actually, the google stable branch of
LLVM 3.2: https://llvm.org/svn/llvm-project/llvm/branches/google/stable/).
Is there going to be any creduce release that works with 3.2?
I've been using it for a bit with versions / patches that work for me,
but it would be nice if there was a release that built against 3.2
The C-Reduce git-head should work with LLVM 3.2 release without any
patches. We are not tracking the LLVM trunk.
I will update the code after LLVM 3.3 is released.
- Yang
