about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2020-11-04Link to the different runtime libraries depending on the application to test.Martin Nowack
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-09-30klee-stats: fix behaviour for broken/empty DBsFrank Busse
2020-09-17[gen-bout] Support multiple symbolic filesTimotej Kapus
2020-09-17Add klee-zesti a ZESTI like wrapper scriptTimotej Kapus
2020-08-23klee-stats: check for a run.stats file in the klee-out directory, to prevent ...Jordy Ruiz
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-06-29Implement fshr/fshl intrinsicsAlastair Reid
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-08stats: rename QueriesConstructs to QueryConstructsFrank Busse
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-03-17Fixed compiler warning when printing variable of type off_tCristian Cadar
2020-03-17stat64 is deprecated on macOS; use stat insteadCristian Cadar
2020-03-01[klee-stats] Grafana: Limit number of entries to query for column namesMartin Nowack
2020-03-01[klee-stats] Use the last row inserted instead of the row with highest Instru...Martin Nowack
2020-03-01[klee-stats] Refactor preparing and printing the tableMartin Nowack
2020-03-01[klee-stats] Check for existence of stats file for Grafana as wellMartin Nowack
2020-03-01[klee-stats] Do not crash if tabulate is not installed but requestedMartin Nowack
2020-03-01[klee-stats] Refactor writing table into own functionMartin Nowack
2020-03-01[klee-stats] Refactor CSV printout in own functionMartin Nowack
2020-03-01[klee-stats] Check if stats file exist before trying to open itMartin Nowack
2020-02-24Add leading zeros to genboutTimotej Kapus
2020-01-17Add support to provid a specific host address and port for grafana serverMartin Nowack
2020-01-17Extended the grafana dashboard.knm17
2020-01-17Fixed documentation for command line argument link-llvm-libMartin Nowack
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-10-31support compilation against LLVM 9.0Julian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 07:52:41 +0000