[klee-dev] LLVM 2.6

[Daniel Dunbar]

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