about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Expand)Author
2019-07-30Provide klee runtime build type as parameterMartin Nowack
2019-06-04Fixed incorrect comment in Travis file, we now use STP 2.3.3Cristian Cadar
2019-04-08Use newer version of metaSMT in travis buildMartin Nowack
2019-04-05Add docker build as target.Martin Nowack
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-18Update dependenciesMartin Nowack
2019-03-17Use newer uclibc version: libc++ requires locale support activatedMartin Nowack
2019-03-17Add travis support to build with libc++Martin Nowack
2019-03-12Enable MSan Travis CI jobMartin Nowack
2019-03-11Add LLVM 8.0 targetMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
2018-11-11Use LLVM 4 for Mac BuildMartin Nowack
2018-10-26travis: enable LLVM 7 testingJiri Slaby
2018-10-26travis: enable LLVM 6 testingJiri Slaby
2018-10-26travis: enable LLVM 5 testingJiri Slaby
2018-09-18travis: enable LLVM 4 testingJiri Slaby
2018-09-14travis CI: add LLVM 3.9 build testsJiri Slaby
2018-09-06Build on trusty without sudo - uses faster Docker infrastructure from TravisCIMartin Nowack
2018-07-12travis CI: add LLVM 3.8 build testsJiri Slaby
2018-07-12Fix uploading of coverage information from inside of dockerMartin Nowack
2018-07-04Extensive updates to the build script for dependencies and dockerMartin Nowack
2018-05-24llvm37: enable travis testingJiri Slaby
2018-04-17Change llvm apt repository to enable llvm 3.7+Timotej Kapus
2018-01-30Enable caching for travis-ciMartin Nowack
2018-01-16[Travis-CI] Added codecov.io supportAndrea Mattavelli
2017-12-05Move Homebrew tap from personal repository to the KLEE organizationAndrea Mattavelli
2017-12-05Updated TravisCI to use pip2 instead of pipAndrea Mattavelli
2017-12-05Bumped xcode version for TravisCIAndrea Mattavelli
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 00:18:09 +0000