Hello Cristian, Does not integrated into mainline mean that it's discontinued?
Thanks Xiao Liang On Wed, 26 Sep 2018, 8:07 PM Cristian Cadar, <[email protected]> wrote: > Hi Sang, > > KATCH was unfortunately not integrated into the mainline, but you should > still be able to build it using LLVM 2.9 if you'd like to give it a try. > > Best, > Cristian > > On 21/09/18 18:47, Sang Phan wrote: > > Hi everyone, > > > > May I ask what is the status of KATCH? > > https://srg.doc.ic.ac.uk/projects/katch/ > > > > LLVM 2.9 is no longer supported, what is the latest version of LLVM that > > it can be built? (and also versions of other required packages) > > > > Thanks, > > Sang > > > > > > _______________________________________________ > > 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
