| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-06-15 | encrypted secrets with main klee repo key | Timotej | |
| 2015-06-15 | added zcov integration to travis CI | Timotej | |
| 2015-04-25 | Make sure TravisCI tests at least one Debug+Asserts build. | Dan Liew | |
| 2015-04-25 | Remove boost requirements from TravisCI build. | Dan Liew | |
| 2014-09-14 | [Travis] Stop building with both Clang and GCC for now, see comment. | Daniel Dunbar | |
| 2014-09-15 | Clean up travis build scripts a little. | Dan Liew | |
| 2014-09-14 | Remove dependence on the bc tool. Use python instead because we are | Dan Liew | |
| already dependent on it. | |||
| 2014-09-13 | Enable ASSERTS in Travis builds. | Daniel Dunbar | |
| 2014-09-13 | Add TravisCI testing infrastructure files. | Dan Liew | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/.travis.yml