about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2019-07-30CMake: show values of optional LLVM variablesJulian Büning
2019-07-30CMake: enable reuse of LLVM's googletest src and targetsJulian 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-30fix two test issuesFelix 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-30Provide klee runtime build type as parameterMartin Nowack
Allow to build klee runtime with different build parameters using the build script.
2019-07-30Add missing dependencies for `check` targetMartin Nowack
Build `gen-bout` and `gen-random-bout` before running tests
2019-07-29Fixed incorrect requires directiveCristian Cadar
2019-07-26Install emacs and vim in the Docker imageCristian Cadar
2019-07-25Solve issues with running as a command on docker runDenis Gavrielov
Now commands like `docker run klee/klee klee --version` are possible.
2019-07-23Refactor ConstraintManager to more modern coding standardsDaniel Schemmel
Eliminates -Wdeprecated-copy warnings Performed clang-format on touched file
2019-07-23Refactor ValueRange to more modern coding standardsDaniel Schemmel
Eliminates -Wdeprecated-copy warnings Performed partia clang-format on touched file
2019-06-04Fixed incorrect comment in Travis file, we now use STP 2.3.3Cristian Cadar
2019-06-04fix some incorrect first linesJulian Büning
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04DiscretePdf.h: add include guardsJulian Büning
2019-06-04make include guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵Cristian Cadar
consistent naming convention
2019-06-04Remove parenthesis around returns, as reported and discussed in #891Cristian Cadar
2019-05-31PTree: fix dump() methodFrank Busse
2019-05-30ExecutionState: remove fnAliasesJulian Büning
2019-05-30fix tests for macOSJulian Büning
2019-05-30implement FunctionAliasPassJulian Büning
2019-05-30remove 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-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-05-07Update issue templatesCristian Cadar
2019-05-06Removed outdated TODO.txt file. TODOs are now managed on GitHub.Cristian Cadar
2019-05-06Use 'latest' branch of FreeBSD packages on Cirrus CI.Gleb Popov
2019-05-06Fix compilation of POSIX runtime on FreeBSD 11.Gleb Popov
2019-05-06Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.Gleb Popov
2019-05-06Fix build of POSIX runtime on FreeBSD i386.Gleb Popov
2019-04-29Add a configuration file for Cirrus CI.Gleb Popov
2019-04-29More FreeBSD related fixes to POSIX runtime.Gleb Popov
2019-04-29Fix gen-random-bout to build on FreeBSD.Gleb Popov
2019-04-12Fix handling of time in grafanaTimotej Kapus
2019-04-08Use newer version of metaSMT in travis buildMartin Nowack
2019-04-08Use newer versions of solver components used by MetaSMTMartin Nowack
Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined
2019-04-08Propagate correct version of metasmt to build scriptMartin Nowack
2019-04-08Add LD_LIBRARY_PATH to docker imageGerben 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-05Add missing dependency for tabulate packageMartin Nowack
2019-04-05Add docker build as target.Martin Nowack
2019-04-05Remove CC as requirement; automatically set by sanitizer_compilerMartin Nowack
Update build sqlite script
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Fix SQLite OSXTimotej Kapus
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-04-04add tabulate to OSX buildFrank Busse
2019-04-04some minor refactoringsFrank Busse
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 01:23:47 +0000