| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-03-24 | [Travis-CI] Refactored Z3 in its own script | Andrea Mattavelli | |
| 2017-01-19 | [TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan ↵ | Dan Liew | |
| builds of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build. | |||
| 2016-06-10 | add metaSMT to travis | Hoang | |
| 2016-02-14 | Add TravisCI and Docker support for building KLEE with Z3 support | Dan Liew | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |