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