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

[Daniel Liew]

Hi,

The origin of this change is from a message on this mailing list (
http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg00856.html ).
Someone asked about which version of STP was used and when I looked at
it I saw that KLEE had it's own internal copy of STP which could be
used instead of an external copy which seemed pointless to me as our
build instructions say to build a particular revision of STP anyway.
So I wrote a small patch to remove the internal copy of STP.

Thanks,
Dan.

On 2 July 2013 10:25, Jonathan Neuschäfer <j.neuschaefer at gmx.net> wrote:
> 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