Commits

Commits on Feb 14, 2014

Fixed overshift of arithmetic right shift by constant so that it
Dan Liew
committedFeb 14, 2014
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
Dan Liew
committedFeb 14, 2014
Added C test case that checks that concrete and symbolic overshift
Dan Liew
committedFeb 14, 2014
Fixed overshift of logical right shift by constant so that it
Dan Liew
committedFeb 14, 2014
Fixed overshift of logical right shift by symbolic so that it overshifts
Dan Liew
committedFeb 14, 2014
Added C test case that checks that concrete and symbolic overshift
Dan Liew
committedFeb 14, 2014
Fixed overshifting an expression by a constant so that we overshift to
Dan Liew
committedFeb 14, 2014
Added a test case for testing overshift behaviour of Shl and fixed
Dan Liew
committedFeb 14, 2014
Translate shl overshifts into 0

Paul Marinescu
authored and
Dan Liew
committedFeb 14, 2014
Merge pull request klee#99 from delcypher/feature_support_stp_with_boost
delcypher
committedFeb 14, 2014
Merge pull request klee#70 from MartinNowack/feature_reading_archive
delcypher
committedFeb 14, 2014
When running with -debug-only=klee_linker do not report the number
Dan Liew
committedFeb 14, 2014
Refactor cleaning up memory in linkBCA() so that if linking fails
Dan Liew
committedFeb 14, 2014
Refactor variable name s/RemovedSymbols/SymbolsToRemove/
Dan Liew
committedFeb 14, 2014
Correct and tidy up comments.
Dan Liew
committedFeb 14, 2014

Commits on Feb 12, 2014

Fixed compilation of unittests with upstream STP (Boost dependency).
Dan Liew
committedFeb 12, 2014

Commits on Feb 9, 2014

Merge pull request klee#100 from delcypher/pass-param-llvm-lit
ccadar
committedFeb 9, 2014

Commits on Feb 6, 2014

Fix access of iterators after they have been invalidated
MartinNowack
committedFeb 6, 2014
When using KLEE's built-in Bitcode archive linker do not consider

Dan Liew
authored and
MartinNowack
committedFeb 6, 2014
Implement const_iterator interface for SpecialFunctionHandler so

Dan Liew
authored and
MartinNowack
committedFeb 6, 2014
Do not consider llvm intrinsics as undefined symbols in KLEE's

Dan Liew
authored and
MartinNowack
committedFeb 6, 2014
Improved archive (of bitcode modules) linking performance for

Dan Liew
authored and
MartinNowack
committedFeb 6, 2014
Add support for archive and single bc file linking
MartinNowack
committedFeb 6, 2014

Commits on Feb 4, 2014

Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment
Dan Liew
committedFeb 4, 2014
Merge pull request klee#101 from delcypher/fix_isatty_llvm33
ccadar
committedFeb 4, 2014

Commits on Jan 29, 2014

Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makes
Dan Liew
committedJan 29, 2014

Commits on Jan 28, 2014

Allow passing arbitrary command line flags to klee and kleaver
Dan Liew
committedJan 28, 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 21, 2014

Merge pull request klee#92 from delcypher/fix_llvm-lit
ccadar
committedJan 21, 2014

Commits on Jan 20, 2014

Hide make check command unless using VERBOSE make variable.
Dan Liew
committedJan 20, 2014
Explicitly use only one thread when invoking llvm-lit in TestRunner.sh
Dan Liew
committedJan 20, 2014
Fixed test cases that fail if using an in-source build
Dan Liew
committedJan 20, 2014
Only run klee-uclibc tests if KLEE was configured with klee-uclibc
Dan Liew
committedJan 20, 2014
Partially fix python detection for running llvm-lit.
Dan Liew
committedJan 20, 2014
Remove the last remnants (I think) of DejaGNU. Goodbye!
Dan Liew
committedJan 20, 2014