Hi, I'd be happy to approve the patch once it's working correctly. Right now, the version of LLVM supported by KLEE is 2.7.
Cristian On 14/04/2011 17:46, 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. > > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
