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