Commits

History for

Commits on Feb 24, 2014

Improved help message for make-concrete-symbolic and fixed some typos.
ccadar
committedFeb 24, 2014

Commits on Jan 25, 2014

Upstream STP's libstp now depends on boost. This commit updates
Dan Liew
committedJan 25, 2014

Commits on Jan 9, 2014

Fix build system so that ktest-tool and klee-stats can be installed
Dan Liew
committedJan 9, 2014

Commits on Dec 21, 2013

klee-uclibc detection is now a lot cleaner. KLEE now assumes
Dan Liew
committedDec 21, 2013
The location of KLEE's runtime libraries (apart from klee-uclibc)
Dan Liew
committedDec 21, 2013
Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"
Dan Liew
committedDec 21, 2013

Commits on Dec 11, 2013

Merge pull request klee#31 from antiAgainst/chroot-replay
ccadar
committedDec 11, 2013

Commits on Dec 8, 2013

Add chroot jail support in klee-replay.
antiagainst
committedDec 8, 2013

Commits on Dec 6, 2013

Remove stoppoint references
MartinNowack
committedDec 6, 2013
Deprecate LLVM 2.8 and lower
MartinNowack
committedDec 6, 2013

Commits on Dec 4, 2013

Close file descriptors used for warnings and messages
MartinNowack
committedDec 4, 2013

Commits on Nov 5, 2013

Exit if using --libc=uclibc and KLEE was not configured with uclibc
Dan Liew
committedNov 5, 2013
Refactored part of KleeHandler construction so that
Dan Liew
committedNov 5, 2013
sort and remove some includes

251
authored and
Dan Liew
committedNov 5, 2013
Fix arbitrary path limits and improved error handling (exit

251
authored and
Dan Liew
committedNov 5, 2013

Commits on Oct 29, 2013

Merge pull request klee#26 from delcypher/fix_divide_by_zero
paulmar
committedOct 29, 2013

Commits on Oct 21, 2013

Removed unnecessary/redundant linking of library boost_thread-mt to klee and kleaver.
hpalikareva
committedOct 21, 2013

Commits on Oct 11, 2013

MetaSMT builder, solver and command-line options.
hpalikareva
committedOct 11, 2013
Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3
ccadar
committedOct 11, 2013

Commits on Sep 24, 2013

Add missing header file and linker parameter
ddcc
committedSep 24, 2013

Commits on Sep 21, 2013

Merge pull request klee#17 from MartinNowack/LLVM33
ccadar
committedSep 21, 2013

Commits on Sep 2, 2013

Implemented runtime check for overshift (controllable with --check-overshift
Dan Liew
committedSep 2, 2013

Commits on Aug 29, 2013

Revert "Use new PathV2 interface for LLVM 2.9 and higher"
MartinNowack
committedAug 29, 2013
Fix compiling issues with llvm 2.9
MartinNowack
committedAug 29, 2013
Use new PathV2 interface for LLVM 2.9 and higher
MartinNowack
committedAug 29, 2013

Commits on Aug 28, 2013

Fix constness warnings issued by gcc 4.7
MartinNowack
committedAug 28, 2013
Silence warning of deprecated PathV1 usage
MartinNowack
committedAug 28, 2013

Commits on Aug 27, 2013

Port to LLVM 3.3
MartinNowack
committedAug 27, 2013

Commits on Aug 15, 2013

Merge pull request klee#16 from MartinNowack/DebugSymbols
ccadar
committedAug 15, 2013
Merge pull request klee#10 from MartinNowack/Typos
ccadar
committedAug 15, 2013

Commits on Aug 14, 2013

Handle additional debug intrinsics of LLVM
MartinNowack
committedAug 14, 2013
Fix typo
MartinNowack
committedAug 14, 2013

Commits on Aug 13, 2013

Modified ktest-tool so that it is compatible with python3.
Dan Liew
committedAug 13, 2013

Commits on Aug 6, 2013