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, > 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 
 > 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



___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

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 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
> > 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
>
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

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?
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
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

[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
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev