Re: [klee-dev] Status of KATCH

2018-09-27 Thread Cristian Cadar
I see your point :) But as a research project, it is still available if you want to give it a try. Cristian On 27/09/18 05:53, Xiao Liang Yu wrote: 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,

Re: [klee-dev] Status of KATCH

2018-09-26 Thread Xiao Liang Yu
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, 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

Re: [klee-dev] Status of KATCH

2018-09-26 Thread Cristian Cadar
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?

[klee-dev] Status of KATCH

2018-09-21 Thread Sang Phan
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 ___