about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2019-10-29[klee-replay] Fix relative executable pathsTimotej Kapus
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-08-15replace fprintf with fputs/fputcFrank Busse
2019-08-14Delete functions delete_file() and delete_dir() which are not needed now that...Cristian Cadar
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before e...Cristian Cadar
2019-08-14Added an option to klee-replay to keep replay directoryCristian Cadar
2019-08-14Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-...Cristian Cadar
2019-08-14Changed klee-replay to create a temporary directory with a random name in /tm...Cristian Cadar
2019-08-08Read Klee's start time correctly in klee-statsGeorge Ordish
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-05-30remove klee_alias_function()Julian Büning
2019-04-29Fix gen-random-bout to build on FreeBSD.Gleb Popov
2019-04-12Fix handling of time in grafanaTimotej Kapus
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Remove unused functionTimotej Kapus
2019-04-04Remove precisionTimotej Kapus
2019-04-04Remove compare-byTimotej Kapus
2019-04-04Remove sort-byTimotej Kapus
2019-04-04Remove unused -sample-interval optionTimotej Kapus
2019-04-04Remove linechart for klee-statsTimotej Kapus
2019-04-04Add add -grafana option to klee-statsTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-04-02Fix klee-replay tool on FreeBSD.Gleb Popov
2019-03-31Applied clang-format on tools/gen-random-bout/gen-random-bout.cppAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew Santosa
2019-03-21drop support for LLVM <= 3.7Julian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 16:01:37 +0000