| Age | Commit message (Expand) | Author |
|---|
| 2017-07-19 | Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo... | Cristian Cadar |
| 2017-06-01 | Refactor file opening code out of `main.cpp` and into | Dan Liew |
| 2017-05-24 | llvm: make KLEE compile against LLVM 3.5 and 3.6 | Richard Trembecký |
| 2017-03-01 | Added new option --warnings-only-to-file which causes warnings to be written ... | Cristian Cadar |
| 2017-01-19 | Fix `Feature/MemoryLimit.c` test when building KLEE with ASan. | Dan Liew |
| 2016-11-30 | Remove support for reporting the approximate git tag. | Dan Liew |
| 2016-11-18 | [CMake] Remove use of tabs in `CMakeLists.txt` files. | Dan Liew |
| 2016-11-18 | [CMake] Re-express LLVM and KLEE library dependencies as | Dan Liew |
| 2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |
| 2016-09-29 | configure: add option to enable timestamping | Jiri Slaby |
| 2016-08-02 | MemoryUsage: fix GetTotalMallocUsage | Jiri Slaby |
| 2016-07-08 | Support gzip-based compression of raw_outstreams | Martin Nowack |
| 2016-02-27 | Add support for tcmalloc | Martin Nowack |
| 2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |
| 2015-04-25 | Report the git tag if exists in the output of --version from klee | Dan Liew |
| 2015-04-25 | Give KLEE release version information in the output of klee and kleaver | Dan Liew |
| 2015-03-13 | Timestamp improvements. | Emil Rakadjiev |
| 2014-09-14 | [LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE. | Daniel Dunbar |
| 2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
| 2014-09-12 | Add support for getting memory usage on Darwin. | Daniel Dunbar |
| 2014-09-12 | Do not require mallinfo(), which is Linux specific. | Daniel Dunbar |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-04-24 | Renamed GetTotalMemoryUsage to GetTotalMallocUsage | Martin Nowack |
| 2014-04-24 | Modify klee::util::GetTotalMemoryUsage() so that if the system is | Dan Liew |
| 2014-04-24 | Fix handling of memory usage in KLEE. | Martin Nowack |
| 2013-12-21 | Do not install KLEE's internal libraries. | Dan Liew |
| 2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
| 2011-07-20 | Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of | Peter Collingbourne |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
