about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2019-08-14Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they ↵Cristian Cadar
don't need POSIX support to run.
2019-08-14Delete functions delete_file() and delete_dir() which are not needed now ↵Cristian Cadar
that klee-replay creates a temporary directory for replay
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before ↵Cristian Cadar
executing the program.
2019-08-14Updated error messages in Gen*Bout.cCristian 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 ↵Cristian Cadar
"KLEE-REPLAY:" to distinguish them from those printed by the replayed program
2019-08-14Changed 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-12StatsTracker: switch from TRUNCATE to WAL journal modeFrank Busse
2019-08-08Read Klee's start time correctly in klee-statsGeorge 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-01tests: fix Gen(Random)Bout.c: cd - command not foundFrank Busse
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2019-08-01Renamed misspelled fileCristian Cadar
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-07-30Consolidated 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-30CMake: fix LLVM_DEFINITIONS with find_package()Julian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-07-12 18:10:18 +0000