| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-23 | Remove model_version from the POSIX runtime, as we have never used it. | Cristian Cadar | |
| 2022-12-09 | Fixed some leaks in klee-replay | Cristian Cadar | |
| 2020-11-11 | Do not redefine fgetc_unlocked and fputc_unlocked unconditionally. | Gleb Popov | |
| 2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar | |
| 2019-10-29 | [klee-replay] Fix relative executable paths | Timotej Kapus | |
| 2019-08-15 | replace fprintf with fputs/fputc | Frank Busse | |
| 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 | 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-04-02 | Fix klee-replay tool on FreeBSD. | Gleb Popov | |
| 2018-10-08 | cleanup headers, whitespaces, and types | Frank Busse | |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse | |
| * also adds klee-replay as dependency for systemtests | |||
| 2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ↵ | Cristian Cadar | |
| preferences added in the POSIX model. Removed option --prefer-cex which controlled all CEX preferences. | |||
| 2014-09-12 | Do not require <sys/capability.h>, which is Linux specific. | Daniel Dunbar | |
| 2013-12-08 | Add chroot jail support in klee-replay. | Lei Zhang | |
| 2010-10-01 | Fix a build warning, patch by nobled! | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115315 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2010-06-28 | Applied Stefan Bucur's patch from | Cristian Cadar | |
| http://llvm.org/bugs/show_bug.cgi?id=6690. The patch adds specialized versions of klee_get_value for different types, fixing the previous klee_get_value function that sometimes truncated 64bit parameters to 32bit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@107006 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2010-06-28 | Fixed bug reported at: | Cristian Cadar | |
| http://llvm.org/bugs/show_bug.cgi?id=7515 Bug was caused by the different behavior of klee_range during KLEE execution vs. replay mode, for the case when start==end: during KLEE execution, klee_range returns start, while during replay it called klee_make_symbolic. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@107005 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-08-05 | klee-replay: Support running multiple tests in one invocation, and tweak output | Daniel Dunbar | |
| slightly. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78166 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-08-05 | Add klee-replay tool. | Daniel Dunbar | |
| - Not yet enabled as part of the build, and not recently tested. - This has also been trimmed down significantly from the version which is able to fail system calls, that functionality was too experimental to be generally useful. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78148 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |