Eventually, but no time soon. We're still actively working on it. -David 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 > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > > So, do you still plan to share UC-KLEE source?
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
