On Mar 18, 2011, at 5:15 PM, Aleksander Balicki wrote: > Is there a possibility of accepting a KLEE project as an LLVM GSoC project? Yes, absolutely. -Chris