[klee-dev] About LLVM 3.x and Clang support

[Pietro Braione]

Hello to everyone. I have read from previous messages in the mailing list that there is work on KLEE to support latex LLVM and Clang. What is the status of that branch? Which versions of LLVM and Clang currently supports? How do I obtain and build it?
Thank you
Pietro Braione
University of Milano-Bicocca
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2552 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20140714/0623993a/attachment.p7s>