On Mon, Jul 01, 2013 at 07:51:53PM -0400, Vijay Ganesh wrote: > Hi Jonathan, > > May I know why STP has been removed from the KLEE repo?
Daniel Liew wrote the patch to do that. I think the motivation was to prevent KLEE's internal copy and the upstream STP from diverging too much. STP is still used, you'll just need to download and build it separately. I've added Daniel, Christian Cadar (who applied the patch), and the klee-dev mailing list to the CC list, so they participate in the discussion. Hope that helps, Jonathan Neuschäfer > -Vijay. > > On Mon, Jul 1, 2013 at 5:25 PM, Jonathan Neuschäfer > <[email protected]> wrote: > > STP has been removed from the KLEE repository in r161056. > > --- > > LICENSE.TXT | 1 - > > 1 file changed, 1 deletion(-) > > > > diff --git a/LICENSE.TXT b/LICENSE.TXT > > index ce3677c..e2fb630 100644 > > --- a/LICENSE.TXT > > +++ b/LICENSE.TXT > > @@ -58,6 +58,5 @@ licenses, and/or restrictions: > > > > Program Directory > > ------- --------- > > -STP klee/stp > > klee-libc runtime/klee-libc > > > > -- > > 1.8.3.1 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
