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

[Chaoqiang Zhang]

I just tried clang+llvm 3.4, it works. By the way, I am not sure about the
official support.




On Mon, Jul 14, 2014 at 7:40 AM, Pietro Braione <pietro.braione at unimib.it>
wrote:

> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed