| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-02-23 | Added missing copyright headers per klee/issue #301 | Marko Dimjašević |
| 2016-01-14 | Make it possible to build KLEE without using STP and only MetaSMT. | Dan Liew |
| 2014-12-09 | Merge pull request #186 from paulmar/fixshift | Cristian Cadar |
| 2014-12-08 | Fix overshift check | Paul Marinescu |
| 2014-12-03 | Handling overshift behaviour in MetaSMTBuilder | Hristina Palikareva |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-04-24 | Fixed order of domain and range in array creation in MetaSMTBuilder. | Hristina Palikareva |
| 2014-04-24 | Fixed creation of arrays with variable domains and ranges in STPBuilder and M... | Hristina Palikareva |
| 2013-10-11 | Bug fix in MetaSMTBuilder | Hristina Palikareva |
| 2013-10-11 | MetaSMT builder, solver and command-line options. | Hristina Palikareva |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |