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
