[klee-dev] Status of KATCH

[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, <c.cadar at 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 at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed