about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2019-03-13Added options in CexCachingSolver.cpp to the constraint solving category and ↵Cristian Cadar
improved help messages
2019-03-13Created new search option category and moved there the options in ↵Cristian Cadar
UserSearcher.cpp
2019-03-13Added options in ArrayExprOptimizer.cpp to the constraint solving categoryCristian Cadar
2019-03-13Reordered includes in ArrayExprOptimizer.cpp for consistency with the other ↵Cristian Cadar
files
2019-03-13Created a new memory management option category for the options in ↵Cristian Cadar
MemoryManager.cpp
2019-03-13Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ↵Cristian Cadar
the startup category
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case ↵Cristian Cadar
category (with --write-cov, --write-cvcs etc.)
2019-03-13Added --debug-log-state-merge to path merging categoryCristian Cadar
2019-03-12Add integer sanitizer to UBSanMartin Nowack
2019-03-12Enable MSan Travis CI jobMartin Nowack
2019-03-12Exclude testcases not compatible with MSanMartin Nowack
2019-03-12Add support to compile KLEE with MemorySanitizer (MSan)Martin Nowack
2019-03-12Fixed unitialised memory in `MergeHandler`Martin Nowack
Add missing initialisation for `closedMean` for `MergeHandler`
2019-03-12Fixed comments to objectsize.ll and objectsize.leq49.llCristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
2019-03-12Removed unneeded and confusing disable-opt option, reformatted Optimize() ↵Cristian Cadar
function and updated some .ll tests to use --optimize=false instead of --disable-opt
2019-03-11Replaced "default=off" with "default=false"MartinNowack
Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
2019-03-11Created a path merging option category and improved help message for path ↵Cristian Cadar
merging options
2019-03-11Added options in STPSolver.cpp to the constraint solving categoryCristian Cadar
2019-03-11Added Z3 options to the constraint solving categoryCristian Cadar
2019-03-11Fixed wrong header include check and fully qualify llvm::cl::OptionCategory ↵Cristian Cadar
in OptionCategories.h
2019-03-11Add LLVM 8.0 targetMartin Nowack
2019-03-11Add support for LLVM 8.0Martin Nowack
2019-03-10Add dockerfile for default KLEE setupMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
2019-03-07tests: rename xxclang to clangxxFrank Busse
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2019-03-05add regression test for LLVM PR39177Julian Büning
2019-03-05workaround for LLVM PR39177Julian Büning
provides a workaround for LLVM bug PR39177, which affects LLVM versions 3.9 - 7.0.0: https://bugs.llvm.org/show_bug.cgi?id=39177 This commit is intended to be reverted once support for LLVM versions <= 7 is dropped from KLEE.
2019-03-05ktest-tool: add --extract optionFrank Busse
2019-03-05Renamed "Starting options" to "Startup options" and added a missing space in ↵Cristian Cadar
a help message.
2019-03-05remove klee-clang, use wllvm/gllvm insteadFrank Busse
2019-03-05fix Executor::initializeGlobals for aliases pointing to another aliasJulian Büning
2019-01-15make AssignmentLessThan::operator() const-invocableJulian Büning
2019-01-07fix a bug in a function callTipwheal
the function name is "getTreeStream" but here's a spelling error
2018-12-19ktest-tool: move from optparse to argparse, add ouput/example sections to helpFrank Busse
2018-12-19Travis OSX: install Python 3.xFrank Busse
2018-12-19regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'Frank Busse
2018-12-19Various fixes for ktest-toolFrank Busse
* switch to Python 3 * add file encoding * some PEP8 reformatting * fix TOCTOU for open * replace trimZeros() with rstrip * remove unused pos/args variables * remove --write-ints (print by default) * remove progname section (unused) * added/modified output rows - "data:" now shows the Python representation (for use in scripts) - "hex :" shows the hex representation - "text:" shows ASCII, all out-of-range/non-printable characters are replaced by a dot - "int :"/"uint:" print (unsigned) 8/16/32/64 bit integers * reduce width for object counter to needed minimum instead of 4 * refactor printing into function
2018-12-19Added default values to option commentsMartinNowack
Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
2018-12-19Renamed --environ to --env-fileCristian Cadar
2018-12-19Renamed --stop-after-n-tests to --max-testsCristian Cadar
2018-12-19Added a replaying option categoryCristian Cadar
2018-12-19Added checks option category, moved --optimize to starting category, renamed ↵Cristian Cadar
original --run-in option to --running-dir
2018-12-19Added linking option categoryCristian Cadar
2018-12-19Added starting option categoryCristian Cadar
2018-12-19Added test case option categoryCristian Cadar
2018-12-19Added debugging categoryCristian Cadar
2018-12-19Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251Cristian Cadar
2018-12-19Added some descriptions suggested by @MartinNowack and placed ↵Cristian Cadar
--max-static-... options under the termination category of options
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 23:10:12 +0000