| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2019-07-26 | Install emacs and vim in the Docker image | Cristian Cadar | |
| 2019-07-25 | Solve issues with running as a command on docker run | Denis Gavrielov | |
| Now commands like `docker run klee/klee klee --version` are possible. | |||
| 2019-07-23 | Refactor ConstraintManager to more modern coding standards | Daniel Schemmel | |
| Eliminates -Wdeprecated-copy warnings Performed clang-format on touched file | |||
| 2019-07-23 | Refactor ValueRange to more modern coding standards | Daniel Schemmel | |
| Eliminates -Wdeprecated-copy warnings Performed partia clang-format on touched file | |||
| 2019-06-04 | Fixed incorrect comment in Travis file, we now use STP 2.3.3 | Cristian Cadar | |
| 2019-06-04 | fix some incorrect first lines | Julian Büning | |
| 2019-06-04 | make endif guard naming consistent | Julian Büning | |
| 2019-06-04 | DiscretePdf.h: add include guards | Julian Büning | |
| 2019-06-04 | make include guard naming consistent | Julian Büning | |
| 2019-06-04 | Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵ | Cristian Cadar | |
| consistent naming convention | |||
| 2019-06-04 | Remove parenthesis around returns, as reported and discussed in #891 | Cristian Cadar | |
| 2019-05-31 | PTree: fix dump() method | Frank Busse | |
| 2019-05-30 | ExecutionState: remove fnAliases | Julian Büning | |
| 2019-05-30 | fix tests for macOS | Julian Büning | |
| 2019-05-30 | implement FunctionAliasPass | Julian Büning | |
| 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-05-28 | Implement handling of the llvm.fabs intrinsic | Felix Rath | |
| 2019-05-07 | Update issue templates | Cristian Cadar | |
| 2019-05-06 | Removed outdated TODO.txt file. TODOs are now managed on GitHub. | Cristian Cadar | |
| 2019-05-06 | Use 'latest' branch of FreeBSD packages on Cirrus CI. | Gleb Popov | |
| 2019-05-06 | Fix compilation of POSIX runtime on FreeBSD 11. | Gleb Popov | |
| 2019-05-06 | Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test. | Gleb Popov | |
| 2019-05-06 | Fix build of POSIX runtime on FreeBSD i386. | Gleb Popov | |
| 2019-04-29 | Add a configuration file for Cirrus CI. | Gleb Popov | |
| 2019-04-29 | More FreeBSD related fixes to POSIX runtime. | Gleb Popov | |
| 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-08 | Use newer version of metaSMT in travis build | Martin Nowack | |
| 2019-04-08 | Use newer versions of solver components used by MetaSMT | Martin Nowack | |
| Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined | |||
| 2019-04-08 | Propagate correct version of metasmt to build script | Martin Nowack | |
| 2019-04-08 | Add LD_LIBRARY_PATH to docker image | Gerben Oolbekkink | |
| Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment. | |||
| 2019-04-05 | Add missing dependency for tabulate package | Martin Nowack | |
| 2019-04-05 | Add docker build as target. | Martin Nowack | |
| 2019-04-05 | Remove CC as requirement; automatically set by sanitizer_compiler | Martin Nowack | |
| Update build sqlite script | |||
| 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 | Fix SQLite OSX | Timotej Kapus | |
| 2019-04-04 | Add MSan support for sqlite | Timotej Kapus | |
| 2019-04-04 | add tabulate to OSX build | Frank Busse | |
| 2019-04-04 | some minor refactorings | Frank Busse | |
| 2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
| 2019-04-04 | Remove unused function | Timotej Kapus | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |