| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ... | Cristian Cadar |
| 2015-02-13 | refactor integer overflow detection, add signed int | Luca Dariz |
| 2015-02-13 | Detect overflow of unsigned add, sub and mul operations | Luca Dariz |
| 2015-02-13 | Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub" | Cristian Cadar |
| 2015-02-10 | Merged @luckyluke's change for detecting overflow of unsigned add, sub | Cristian Cadar |
| 2014-02-06 | Implement const_iterator interface for SpecialFunctionHandler so | Dan Liew |
| 2010-07-15 | Fix some -Wmismatched-tags warnings. | Daniel Dunbar |
| 2010-06-24 | Implement klee_stack_trace function | Peter Collingbourne |
| 2009-06-01 | Kill off klee_malloc_n, we don't want to support this. | 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 |