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? On Thu, 14 Apr 2011, arrowdodger wrote: > New patch adresses changes in LLVM API and fixes APInt assertion. Now klee > crashes somewhere after llvm_shutdown, but i couldn't figure out why. > By the way, is KLEE project alive? There are no commits and it seems that > nobody is interested in my patches. > >
