about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Expand)Author
2016-05-25add entry for llvm-2.9 and z3Hoang M. Le
2016-05-16Add cmake 2.8.11 as additional dependencyMartin Nowack
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2016-02-27Travis: Run TCMalloc runs explicitlyMartin Nowack
2016-02-27Update travis configuration to use tcmallocMartin Nowack
2016-02-14Add TravisCI and Docker support for building KLEE with Z3 supportDan Liew
2015-10-30Make sure TravisCI does a few builds where it uses the developmentDan Liew
2015-10-30Teach TravisCI and the Docker build to use the taggedDan Liew
2015-08-30Support KLEE with different STP versions; Disable r940Martin Nowack
2015-06-15encrypted secrets with main klee repo keyTimotej
2015-06-15added zcov integration to travis CITimotej
2015-04-25Make sure TravisCI tests at least one Debug+Asserts build.Dan Liew
2015-04-25Remove 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-15Clean up travis build scripts a little.Dan Liew
2014-09-14Remove dependence on the bc tool. Use python instead because we areDan Liew
2014-09-13Enable ASSERTS in Travis builds.Daniel Dunbar
2014-09-13Add TravisCI testing infrastructure files.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 02:11:43 +0000