| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-29 | Travis: double timeout for MetaSMT tests | Frank Busse | |
| 2019-10-29 | ExecutorTimers: refactor and move to support lib | Frank Busse | |
| - moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114) | |||
| 2019-10-29 | ExecutorTimers: remove signalling, fix endless looping fork | Frank Busse | |
| - adds -timer-interval threshold for timer checks - fixes #831 | |||
| 2019-10-16 | Add missing file utility in docker image | Martin Nowack | |
| 2019-10-08 | Executor.h: remove defined functions without implementation | Frank Busse | |
| 2019-10-07 | test/Expr/Evaluate2.kquery: add link to issue | Julian Büning | |
| 2019-10-07 | fix: make llvm 7.1 known | Julian Büning | |
| 2019-10-07 | test/Feature/SolverTimeout.c: re-enable for Z3 | Julian Büning | |
| 2019-10-07 | test/lit.cfg: test if current version is known | Julian Büning | |
| 2019-10-07 | test/lit.cfg: use lit_config instead of lit | Julian Büning | |
| Since LLVM version 3.6.0 or lit version 0.5.0, `lit_config` is the name of the global object, not `lit`. | |||
| 2019-10-07 | Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is | Gleb Popov | |
| incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161 While there, remove dependence on `sort` utility, which might help porting KLEE Windows eventually. | |||
| 2019-09-20 | refactor PTree: use unique_ptr | Frank Busse | |
| 2019-09-20 | refactor PTree: remove split(), add attach() method | Frank Busse | |
| 2019-09-20 | Move intrinsics tests to the proper directory | Mateusz Naściszewski | |
| 2019-09-20 | Add tests for saturating arithmetic | Mateusz Naściszewski | |
| 2019-09-20 | Add saturated arithmetic intrinsics | Mateusz Naściszewski | |
| 2019-09-09 | fix minor build script issues and inconsistencies | Julian Büning | |
| mostly following shellcheck | |||
| 2019-09-05 | build: additional patches for LLVM 3.8-5.0 | Julian Büning | |
| 2019-09-05 | test/CMakeLists.txt: error handling for download | Julian Büning | |
| 2019-09-05 | test/CMakeLists.txt: use official llvm monorepo for download | Julian Büning | |
| 2019-09-03 | Moved solver-related header files into a separate klee/Solver/ directory. | Cristian Cadar | |
| 2019-09-03 | Moved ConstructSolverChain.cpp to the Solver library. | Cristian Cadar | |
| 2019-09-03 | Renamed CmdLineOptions.cpp to SolverCmdLine.cpp (in line with the associated ↵ | Cristian Cadar | |
| header SolverCmdLine.h) and moved it to the Solver library. | |||
| 2019-08-15 | ExecutorTimers: move dumpStates/dumpPTree into Executor | Frank Busse | |
| * creates two new methods: dumpStates, dumpPTree | |||
| 2019-08-15 | replace fprintf with fputs/fputc | Frank Busse | |
| 2019-08-14 | Update basic block iterator after deleting instruction; add test case | Martin Nowack | |
| 2019-08-14 | fixed bug in IntrinsicCleaner trap cleaner | Michael Bryman | |
| 2019-08-14 | Rewrote the checks in GenRandomBout.c to remove dependency on bash and use ↵ | Cristian Cadar | |
| FileCheck instead (FreeBSD tests on Travis CI fail otherwise) | |||
| 2019-08-14 | Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they ↵ | Cristian Cadar | |
| don't need POSIX support to run. | |||
| 2019-08-14 | Delete functions delete_file() and delete_dir() which are not needed now ↵ | Cristian Cadar | |
| that klee-replay creates a temporary directory for replay | |||
| 2019-08-14 | Replace sprintf with snprintf throughout codebase | Cristian Cadar | |
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before ↵ | Cristian Cadar | |
| executing the program. | |||
| 2019-08-14 | Updated error messages in Gen*Bout.c | Cristian Cadar | |
| 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-12 | StatsTracker: switch from TRUNCATE to WAL journal mode | Frank Busse | |
| 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 | tests: fix Gen(Random)Bout.c: cd - command not found | Frank Busse | |
| 2019-08-01 | gen(-random)-bout: add --bout-file flag | Frank Busse | |
| 2019-08-01 | Renamed misspelled file | Cristian Cadar | |
| 2019-07-30 | Use #include "klee/..." (instead of #include <klee/...>) consistently. | Cristian Cadar | |
| 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-07-30 | CMake: fix LLVM_DEFINITIONS with find_package() | Julian Büning | |
| 2019-07-30 | CMake: show values of optional LLVM variables | Julian Büning | |
| 2019-07-30 | CMake: enable reuse of LLVM's googletest src and targets | Julian Büning | |
| Fixes an issue that occurs with USE_CMAKE_FIND_PACKAGE_LLVM=ON and LLVM compiled from sources, which then exports gtest and gtest_main targets. In case gtest and gtest_main targets are not imported from LLVM and GTEST_SRC_DIR is not set, CMake can now reuse the googletest sources from LLVM_BUILD_MAIN_SRC_DIR (if available) with USE_CMAKE_FIND_PACKAGE_LLVM=ON. This last limitation is due to LLVM making modifications to the CMakeLists.txt of googletest that requires add_llvm_library() from AddLLVM.cmake. | |||
| 2019-07-30 | fix two test issues | Felix Rath | |
| * Add 'uclibc'-feature for testing if it is enabled * -> allow tests to depend on uclibc-availability * ENABLE_UCLIBC was redundant, use SUPPORT_KLEE_UCLIBC instead * Cleaned up 'libcxx'-feature availability detection | |||
| 2019-07-30 | Provide klee runtime build type as parameter | Martin Nowack | |
| Allow to build klee runtime with different build parameters using the build script. | |||
| 2019-07-30 | Add missing dependencies for `check` target | Martin Nowack | |
| Build `gen-bout` and `gen-random-bout` before running tests | |||
| 2019-07-29 | Fixed incorrect requires directive | Cristian Cadar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |