about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-15Hiding general (LLVM) options in klee --help !Cristian Cadar
2019-03-15Placed --max-time in the termination categoryCristian Cadar
2019-03-15Placed --exit-on-error, --max-tests and --watchdog in the termination categoryCristian Cadar
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-13Hide the general category (with LLVM options) in Kleaver.Cristian Cadar
2019-03-13Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some refo...Cristian Cadar
2019-03-13Moved options in kleaver/main.cpp in either the constraint solving or the exp...Cristian Cadar
2019-03-13Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ...Cristian Cadar
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case catego...Cristian Cadar
2019-03-05ktest-tool: add --extract optionFrank Busse
2019-03-05Renamed "Starting options" to "Startup options" and added a missing space in ...Cristian Cadar
2018-12-19ktest-tool: move from optparse to argparse, add ouput/example sections to helpFrank Busse
2018-12-19Various fixes for ktest-toolFrank Busse
2018-12-19Added default values to option commentsMartinNowack
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
2018-12-19Added linking option categoryCristian Cadar
2018-12-19Added starting option categoryCristian Cadar
2018-12-19Added test case option categoryCristian Cadar
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-26Added gen-bout tool to generate ktest file (file.bout) using specified concre...Andrew Santosa
2018-10-26llvm5: avoid ++ on function->arg_begin()Jiri Slaby
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-10-08cleanup headers, whitespaces, and typesFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-18llvm4: handle different header namesJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-09-10Unify the error message if that function has not been found.Martin Nowack
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-08-29klee-stats: add TResolve(%) to --print-allFrank Busse
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-12llvm38: SmallString is always up-to-dateJiri Slaby
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-06-29fix out of range access in KleeHandler::getKTestFilesInDirFrank Busse
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2018-05-08remove unused file: tools/klee/Debug.cppDaniel Schemmel
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-04-28exitOnError no output buf fixZekun Shen
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-04Removed merging searchersLukas Wölfer
2017-08-01Fixed test case counter: Previously the number of test cases generated by KLE...Andrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-03 02:52:21 +0000