Hi Philip,
Thanks a lot for the CDE package, it's really helpful. I just added
your instructions to the Getting Started webpage.
Best,
Cristian
On 26/05/2011 00:42, Philip Guo wrote:
With the help of Cristian, I've put together an improved version of the
Klee package:
perhaps it's wortwhile to run the actual osdi code and package it up so
other people can replicate?
On Thu, 26 May 2011, Cristian Cadar wrote:
Hi Philip,
Thanks a lot for the CDE package, it's really helpful. I just added
your instructions to the Getting Started webpage.
Best,
Cristian
-- next part --
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110526/124e7fbd/attachment.html