[klee-dev] KLEE 2.7

Hi Vladimir, Just ignore for now the patch for LLVM 2.7: svn co -r 98465 http://llvm.org/svn/llvm-project/klee/trunk klee Cristian On 23/03/10 04:48, Vladimir G. Ivanovic wrote: on 03/13/2010 09:36 PM Daniel Dunbar said the following: I just checked in a patch for building KLEE with LLVM

[klee-dev] KLEE 2.7

Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100323/5fb95561/attachment.bin

[klee-dev] Unable to build klee-ulibc on x86_64

-- next part -- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 261 bytes Desc: OpenPGP digital signature Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100323/c7e58c4e/attachment.bin