[klee-dev] [PATCH] Build KLEE with trunk LLVM.

[arrowdodger]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110414/2912e2cc/attachment.html
 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: klee.30.patch
Type: text/x-patch
Size: 13854 bytes
Desc: not available
Url : 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110414/2912e2cc/attachment.bin