[klee-dev] Which LLVM version?

[Cadar, Cristian]

Hi, we've recently added support for newer LLVM versions (thanks largely 
to Jiri Slaby) and we plan to release a new KLEE version soon 
incorporating those changes.  We encourage people to give newer LLVM 
versions a try, but in some ways support for recent LLVM versions is 
still experimental, as we haven't used them that much.

We plan to update the website soon.

Best,
Cristian

On 19/12/2018 15:23, programmer at nurfuerspam.de wrote:
> hey,
> 
> The klee website (http://klee.github.io/) still says that klee should be 
> compiled with LLVM 3.4, and that compiling with 3.8 is experimental. 
> However, the travis configuration 
> (https://github.com/klee/klee/blob/master/.travis.yml) shows that it is 
> being tested with up to LLVM 7.0.
> 
> Is the website outdated, or is travis testing things that are not 
> expected to work? It would be nice to know that it is no longer 
> necessary to use an old version of LLVM.
> 
> Alex
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev