| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-02-21 | fix metaSMT version | Hoang M. Le |
| 2017-01-19 | [TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b... | Dan Liew |
| 2016-10-27 | upgrade to boolector-2.2.0 & remove the no longer needed aux array vector | Hoang M. Le |
| 2016-06-10 | add metaSMT to travis | Hoang |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |