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, [email protected] 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
