| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-08 | cleanup headers, whitespaces, and types | Frank Busse |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse |
| 2018-09-10 | POSIX: Add invocation of klee_init_env into wrapper before calling main | Martin Nowack |
| 2017-10-04 | Remove Autoconf/Makefile build system and adjust the TravisCI | Dan Liew |
| 2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |
| 2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ... | Cristian Cadar |
| 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 |
| 2010-06-28 | Applied Stefan Bucur's patch from | Cristian Cadar |
| 2010-06-28 | Fixed bug reported at: | Cristian Cadar |
| 2009-08-05 | klee-replay: Support running multiple tests in one invocation, and tweak output | Daniel Dunbar |
| 2009-08-05 | Add klee-replay tool. | Daniel Dunbar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |