[klee-dev] Status of KATCH

[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, <c.cadar at imperial.ac.uk 
> <mailto: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 <mailto: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 <mailto:klee-dev at imperial.ac.uk>
>     https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>