about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Expand)Author
2017-10-17[travis] update scripts to additionally test CVC4 and Yices2Hoang M. Le
2017-10-04Fix TravisCI `METASMT_DEFAULT` setting.Dan Liew
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-28Modified Travis-CI script to compile STP with BOOST supportAndrea Mattavelli
2017-07-23Cleanup Travis builderMartin Nowack
2017-07-16Added caching of Homebrew downloadsAndrea Mattavelli
2017-05-24travis CI: add LLVM 3.5 and 3.6 testsJiri Slaby
2017-05-02[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...Hoang M. Le
2017-03-24[Travis-CI] Added support for macOS buildAndrea Mattavelli
2017-03-23[travis] use a proper version of metaSMT via environment variable METASMT_VER...Hoang M. Le
2017-01-19[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...Dan Liew
2016-12-23rerun lit tests for non-default metaSMT backendsHoang M. Le
2016-12-02[TravisCI] Clean up the configuration matrix.Dan Liew
2016-12-02[TravisCI] Fix the list of available configuration environmentDan Liew
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-12-26 08:09:49 +0000