[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-dev
Subject:    Re: [klee-dev] Which LLVM version?
From:       programmer () nurfuerspam ! de
Date:       2018-12-19 15:58:58
Message-ID: 9a46979a-1fde-02a6-335e-ec702b49ae48 () nurfuerspam ! de
[Download RAW message or body]

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@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@imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> _______________________________________________
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
[prev in list] [next in list] [prev in thread] [next in thread]