Hi all, I have updated KLEE to build against LLVM 2.6, and KLEE's configure script to detect the version of LLVM being used.
My current plan is that the officially supported version of LLVM for use with KLEE is 2.6. I will try and also keep KLEE capable of building with the latest LLVM, but this is currently a low priority task for me. Hopefully this will make life a lot easier for KLEE users and developers during the 2.6 to 2.7 cycle. Please file bugs for any problems you see using KLEE with LLVM 2.6. - Daniel
