[klee-dev] [PATCH 2/3] LICENSE.TXT: remove reference to STP.

[Jonathan Neuschäfer]

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
> <j.neuschaefer at gmx.net> 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