| Age | Commit message (Collapse) | 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 | |
| The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency. | |||
| 2014-12-09 | Merge pull request #186 from paulmar/fixshift | Cristian Cadar | |
| Fix overshift check | |||
| 2014-12-08 | Fix overshift check | Paul Marinescu | |
| Shifting by bitwidth-1 is valid | |||
| 2014-12-03 | Handling overshift behaviour in MetaSMTBuilder | Hristina Palikareva | |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack | |
| According to LLVM: lightweight and simpler implementation of streams. | |||
| 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 ↵ | Hristina Palikareva | |
| MetaSMTBuilder. | |||
| 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 |