| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-02-14 | Add TravisCI and Docker support for building KLEE with Z3 support | Dan Liew |
| 2015-10-30 | Make sure TravisCI does a few builds where it uses the development | Dan Liew |
| 2015-10-30 | Teach TravisCI and the Docker build to use the tagged | Dan Liew |
| 2015-08-30 | Support KLEE with different STP versions; Disable r940 | Martin Nowack |
| 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 |
| 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