about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-04-04Merge pull request #108 from pcc/ppDan Liew
2014-04-04Add the ability to control whether the pretty printer uses line breaksPeter Collingbourne
2014-04-03Merge pull request #106 from pcc/smtlib-printerDan Liew
2014-04-02Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...Peter Collingbourne
2014-03-09Use clang-format to reformat SMT-LIB printer in LLVM style.Peter Collingbourne
2014-02-24Improved DumpStatesOnHalt.c to make sure there is always more than one instru...Cristian Cadar
2014-02-24Improved help message for make-concrete-symbolic and fixed some typos.Cristian Cadar
2014-02-24Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations...Cristian Cadar
2014-02-14Merge pull request #64 from delcypher/overshift-fixDan Liew
2014-02-14Explicitly get the width of the "shift" expression rather than assumingDan Liew
2014-02-14Remove STPBuilder::getShiftBits() which is no longer used.Dan Liew
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshift of arithmetic right shift by constant so that itDan Liew
2014-02-14Fixed overshift of arithmetic right shift by symbolic so that it overshiftsDan Liew
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshift of logical right shift by constant so that itDan Liew
2014-02-14Fixed overshift of logical right shift by symbolic so that it overshiftsDan Liew
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshifting an expression by a constant so that we overshift toDan Liew
2014-02-14Added a test case for testing overshift behaviour of Shl and fixedDan Liew
2014-02-14Translate shl overshifts into 0Paul Marinescu
2014-02-14Merge pull request #99 from delcypher/feature_support_stp_with_boostDan Liew
2014-02-14Merge pull request #70 from MartinNowack/feature_reading_archiveDan Liew
2014-02-14When running with -debug-only=klee_linker do not report the numberDan Liew
2014-02-14Refactor cleaning up memory in linkBCA() so that if linking failsDan Liew
2014-02-14Refactor variable name s/RemovedSymbols/SymbolsToRemove/Dan Liew
2014-02-14Correct and tidy up comments.Dan Liew
2014-02-12Fixed compilation of unittests with upstream STP (Boost dependency).Dan Liew
2014-02-09Merge pull request #100 from delcypher/pass-param-llvm-litCristian Cadar
2014-02-06Fix access of iterators after they have been invalidatedMartin Nowack
2014-02-06When using KLEE's built-in Bitcode archive linker do not considerDan Liew
2014-02-06Implement const_iterator interface for SpecialFunctionHandler soDan Liew
2014-02-06Do not consider llvm intrinsics as undefined symbols in KLEE'sDan Liew
2014-02-06Improved archive (of bitcode modules) linking performance forDan Liew
2014-02-06Add support for archive and single bc file linkingMartin Nowack
2014-02-04Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environmentDan Liew
2014-02-04Merge pull request #101 from delcypher/fix_isatty_llvm33Cristian Cadar
2014-01-29Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makesDan Liew
2014-01-28Allow passing arbitrary command line flags to klee and kleaverDan Liew
2014-01-25Upstream STP's libstp now depends on boost. This commit updatesDan Liew
2014-01-21Merge pull request #92 from delcypher/fix_llvm-litCristian Cadar
2014-01-20Hide make check command unless using VERBOSE make variable.Dan Liew
2014-01-20Explicitly use only one thread when invoking llvm-lit in TestRunner.shDan Liew
2014-01-20Fixed test cases that fail if using an in-source buildDan Liew
2014-01-20Only run klee-uclibc tests if KLEE was configured with klee-uclibcDan Liew
2014-01-20Partially fix python detection for running llvm-lit.Dan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Give absolute paths to KLEE's tools in lit.cfg . This fixes a longDan Liew
2014-01-20Only run SELinux test if support for SELinux was detected at configureDan Liew
2014-01-20Added Runtime/POSIX/lit.local.cfg file that prevents the POSIXDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 13:27:54 +0000