| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-12-19 | [CMake] Fix linker warning about mixed linking modes when LLVM was | Dan Liew |
| 2016-12-09 | [CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC` | Dan Liew |
| 2016-12-01 | Merge pull request #523 from delcypher/remove_klee_tag_output | Cristian Cadar |
| 2016-11-30 | Remove support for reporting the approximate git tag. | Dan Liew |
| 2016-11-30 | Increasing version to 1.3.0 | Cristian Cadar |
| 2016-11-23 | [CMake] Fix some indentation issues. | Dan Liew |
| 2016-11-23 | [CMake] Fix bug where the wrong path is checked for when checking | Dan Liew |
| 2016-11-20 | [CMake] Fix the old Autoconf/Makefile build system files in source tree inter... | Dan Liew |
| 2016-11-07 | [CMake] Report git revision information if available. | Dan Liew |
| 2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/CMakeLists.txt