Hi Jiri, Thank you for your interest in our tool. However, we still have no immediate plans to release it.
Please direct future inquiries about UC-KLEE directly to me, as this list is for the mainline of KLEE, not its various offshoots. Thanks, -David On Feb 7, 2012, at 1:04 AM, Jiri Slaby wrote: > David Ramos <daramos@...> writes: >> On Sep 17, 2011, at 1:03 AM, arrowdodger wrote: >> On Wed, Jun 8, 2011 at 12:57 PM, David A. Ramos > <[email protected]> wrote: >> >> Hi Andriy, >> We have an upcoming CAV paper on this topic. Check it out at > http://keeda.stanford.edu/~daramos/ucklee-cav-2011.pdf. Unfortunately, our > UC-KLEE repository is unstable and not currently released to the public. > Hopefully that will change at some point. >> -David >> >> So, do you still plan to share UC-KLEE source? > >> Eventually, but no time soon. We're still actively working on it. > > Hello, I wonder if it is the right time now :)? I would appreciate sharing the > code. According to the paper it looks very useful and promising. And if it is > not enterprise-ready, who cares? Community might help you... > > Thanks. > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
