Fixed compilation against LLVM 3.1
Fix handling of exported library build
Merge branch 'master' of http://llvm.org/git/klee
Merge branch 'master' of http://llvm.org/git/klee
Merge branch 'master' of http://llvm.org/git/klee
Fix handling of exported library build
Merge branch 'master' of https://bitbucket.org/mnowack/klee
Merge branch 'master' of https://github.com/MartinNowack/klee
Silence compiler warning about unused variable
Warn if compiler is not found to build .ll files
Implemented llvm.uadd.with.overflow
Handle constant arrays as well
Fix test case to use llvm-link instead of llvm-ld
Disable redefinition of functions
Fix typo
Fix timer leak
Silence warning of deprecated PathV1 usage
Free used constants if not used anymore

Fixes memleak
Close file descriptors used for warnings and messages
Fix typo