| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-23 | refactor klee_open_output_file to return std::unique_ptr | Julian Büning |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
| 2016-07-08 | Use vector instead of set to add/remove states | Martin Nowack |
| 2016-06-23 | Use klee_message for timeout information | Andrea Mattavelli |
| 2016-03-01 | Documented default values for various options and improved the description of... | Cristian Cadar |
| 2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2013-12-05 | Fix timer leak | Martin Nowack |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2011-11-29 | Updates for LLVM 3.1. | Peter Collingbourne |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-07-25 | (llvm up) Update for llvm::Value getName() change. | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |