Hi, The origin of this change is from a message on this mailing list ( http://www.mail-archive.com/[email protected]/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 <[email protected]> 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 >> <[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
