| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-08-14 | Added an option to klee-replay to keep replay directory | Cristian Cadar | |
| 2019-08-14 | Cleaned up messages emitted by klee-replay, and prefixed them all with ↵ | Cristian Cadar | |
| "KLEE-REPLAY:" to distinguish them from those printed by the replayed program | |||
| 2019-08-14 | Changed klee-replay to create a temporary directory with a random name in ↵ | Cristian Cadar | |
| /tmp instead of using a fixed name in the current directory. | |||
| 2019-08-08 | Read Klee's start time correctly in klee-stats | George Ordish | |
| The last modification time of the run.stats database was being used as the starting time of klee. This was causing Grafana to show graphs incorrectly. Instead we now read the start time from the info file. Co-Authored-By: Kenny Macheka <knm17@ic.ac.uk> | |||
| 2019-08-01 | gen(-random)-bout: add --bout-file flag | Frank Busse | |
| 2019-07-30 | Consolidated Expr-related include files into a single include/klee/Expr ↵ | Cristian Cadar | |
| directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE. | |||
| 2019-06-04 | Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵ | Cristian Cadar | |
| consistent naming convention | |||
| 2019-05-30 | remove klee_alias_function() | Julian Büning | |
| this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. | |||
| 2019-04-29 | Fix gen-random-bout to build on FreeBSD. | Gleb Popov | |
| 2019-04-12 | Fix handling of time in grafana | Timotej Kapus | |
| 2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
| 2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
| 2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
| 2019-04-04 | Remove unused function | Timotej Kapus | |
| 2019-04-04 | Remove precision | Timotej Kapus | |
| 2019-04-04 | Remove compare-by | Timotej Kapus | |
| 2019-04-04 | Remove sort-by | Timotej Kapus | |
| 2019-04-04 | Remove unused -sample-interval option | Timotej Kapus | |
| 2019-04-04 | Remove linechart for klee-stats | Timotej Kapus | |
| 2019-04-04 | Add add -grafana option to klee-stats | Timotej Kapus | |
| It starts a simple web server that acts as a simple JSON datasource for grafana | |||
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2019-04-02 | Fix klee-replay tool on FreeBSD. | Gleb Popov | |
| 2019-03-31 | Applied clang-format on tools/gen-random-bout/gen-random-bout.cpp | Andrew Santosa | |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa | |
| * Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg | |||
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-15 | Hiding general (LLVM) options in klee --help ! | Cristian Cadar | |
| 2019-03-15 | Placed --max-time in the termination category | Cristian Cadar | |
| 2019-03-15 | Placed --exit-on-error, --max-tests and --watchdog in the termination category | Cristian Cadar | |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and ↵ | Cristian Cadar | |
| placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace. | |||
| 2019-03-13 | Hide the general category (with LLVM options) in Kleaver. | Cristian Cadar | |
| 2019-03-13 | Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some ↵ | Cristian Cadar | |
| reformatting) | |||
| 2019-03-13 | Moved options in kleaver/main.cpp in either the constraint solving or the ↵ | Cristian Cadar | |
| expression building/printing category | |||
| 2019-03-13 | Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ↵ | Cristian Cadar | |
| the startup category | |||
| 2019-03-13 | Renamed --no-output to --write-no-tests and placed it in the test case ↵ | Cristian Cadar | |
| category (with --write-cov, --write-cvcs etc.) | |||
| 2019-03-05 | ktest-tool: add --extract option | Frank Busse | |
| 2019-03-05 | Renamed "Starting options" to "Startup options" and added a missing space in ↵ | Cristian Cadar | |
| a help message. | |||
| 2018-12-19 | ktest-tool: move from optparse to argparse, add ouput/example sections to help | Frank Busse | |
| 2018-12-19 | Various fixes for ktest-tool | Frank 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-19 | Added default values to option comments | MartinNowack | |
| Co-Authored-By: ccadar <c.cadar@imperial.ac.uk> | |||
| 2018-12-19 | Renamed --environ to --env-file | Cristian Cadar | |
| 2018-12-19 | Renamed --stop-after-n-tests to --max-tests | Cristian Cadar | |
| 2018-12-19 | Added a replaying option category | Cristian Cadar | |
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ↵ | Cristian Cadar | |
| original --run-in option to --running-dir | |||
| 2018-12-19 | Added linking option category | Cristian Cadar | |
| 2018-12-19 | Added starting option category | Cristian Cadar | |
| 2018-12-19 | Added test case option category | Cristian Cadar | |
| 2018-11-23 | Implemented memalign with alignment | Lukas Wölfer | |
| 2018-10-30 | Base time API upon std::chrono | Frank Busse | |
| This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time) | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |