about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Expand)Author
2016-11-30Switched to STP 2.1.2 on Travis CI buildsCristian Cadar
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-10-14Use newer trusty-based Travis CI (#452)MartinNowack
2016-06-10Use travis_wait to allow long running testsHoang
2016-06-10add entries for metaSMT with btor/stp/z3 in Travis CIHoang M. Le
2016-06-10add metaSMT to travisHoang
2016-06-04Deactivate officiall llvm source. Use alternative ppaMartin Nowack
2016-06-04Do not install clang-3.4 if not neededMartin Nowack
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-09-21 06:43:31 +0000