[klee-dev] Which LLVM version?

[programmer at nurfuerspam.de]

Thanks! This is great news!

On 19.12.18 16:54, Cadar, Cristian wrote:
> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev