Hello, I am currently struggling compiling current klee with the current llvm-3.6-release. I used the receipt from http://klee.github.io/experimental/ (replacing 3.4 with 3.6), and noted quite some interface changes from within llvm...
To avoid duplicated work, are there any other people doing this adaption already? My first goal is to get klee compiled, then send the necessary patches to some knowledgable person for review and possible inclusion. Has there even been a decision to never upgrade to llvm-3.6? Thanks, Heiko
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev