On Thu, Apr 14, 2011 at 10:27 PM, Dawson Engler <engler at csl.stanford.edu>wrote:
> Our group at stanford is in very active development of klee, but I > think Daniel (who gates the open source commits) tends to be "episodic" :) > > Daniel: Perhaps there can be some sort of delegation? So, there is another closed KLEE repository somewhere? -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110503/9070d905/attachment.html
