Fix timer leak
Free used constants if not used anymore

Fixes memleak
Fix unitialized value
Close file descriptors used for warnings and messages
Merge pull request #11 from MartinNowack/Memleaks

Patch Set II - Memleaks
Deprecate LLVM 2.8 and lower
Remove stoppoint references
Merge pull request #72 from MartinNowack/deprecate_llvm28

Deprecate LLVM 2.8 and lower and remove support for it
Add chroot jail support in klee-replay.
Merge pull request #31 from antiAgainst/chroot-replay

Chroot replay feature
Patch by Daniel Lupei, fixing a performance bug with the
counterexample cache.  (This is an old patch, reported at
http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking
system.)
Allow different build modes for LLVM coexist
Merge pull request #80 from MartinNowack/fix_multiple_buildmodes

Allow different build modes for LLVM coexist (this issue can be avoided entirely if out of source builds are used and each build is its own directory)
Re-add support for running individual tests when built with LLVM3.3

It seems that the LLVM configure script no longer
looks for tclsh which was used to execute individual tests. E.g.

$ cd test
$ make TESTONE=Runtime/POSIX/DirConsistency.c check-one VERBOSE=1

This prevented the above from working. This commit fixes this by
having our configure script look for tclsh instead. The path_tclsh.m4
macro is taken from the projects/sample/autoconf/m4/ in LLVM3.3
Merge pull request #79 from delcypher/fix_llvm33_single_test

Re-add support for running individual tests when built with LLVM3.3
Merge pull request #76 from srg-imperial/master

Patch by Daniel Lupei, fixing a performance bug with the counterexample cache.  (This is an old patch, reported at http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking system.)
Simplify acquisition of debug informtion for instruction info with newer LLVM versions

With newer LLVM versions (starting with LLVM 2.7) debug information are directly associated
as meta data with each instruction.
Therefore, debug information can be acquired directly from each instruction.
Allow to specify KLEE-internal functions

KLEE provides runtime library functions to do detection of bugs (e.g. overflow).
This runtime functions are not the location of the bugs but it is
the next non-runtime library function from the stack.
Use the caller inside that function to indicate where the bug is.
Replicate debug information from checked instructions to checker call.
Optimize inlineChecks function

* Just iterate over the instructions which use the function to be inlined
* Handle each callsite (e.g. CallInst and InvokeInst)