| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the ↵ | Cristian Cadar | |
| --with-stp option mandatory: "1. At configure time the --with-stp= option is now mandatory. 2. The HAVE_EXT_STP macro has been removed. 3. The ENABLE_EXT_STP autoconf replacement variable has been removed and consequently the Makefile variable of the same name has been removed." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161055 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2012-04-07 | Patch by Seungbeom that fixes a memory management issue with Refs, and | Cristian Cadar | |
| associated unit test. More details at http://keeda.stanford.edu/pipermail/klee-commits/2012-February/000904.html git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154256 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |