about summary refs log tree commit diff homepage
path: root/.travis.yml
AgeCommit message (Expand)Author
2020-10-12Add `ENABLE_DOXYGEN=0` to default config in .travis.ymljiseongg
2020-09-30Use LLVM 6.0 for now on macOSMartin Nowack
2020-09-30Disable libc++ for LLVM 3.8 Travis CI targetMartin Nowack
2020-09-30Set default LLVM version to 9.0Martin Nowack
2020-09-05Remove secure varsCristian Cadar
2020-09-04Update homebrew cacheMartin Nowack
2020-09-04Remove caching of homebrew-built packagesMartin Nowack
2020-09-04Use homebrew packages provided by TravisMartin Nowack
2020-09-03Change the way bash is upgraded on macOS.Cristian Cadar
2020-04-20Consistently define variable using notation VAR=value; fixed comment placementCristian Cadar
2020-04-20Named jobs in Travis CI for better visualization of resultsCristian Cadar
2020-03-02travis: add LLVM 10.0Julian Büning
2020-02-13Use a newer Ubuntu 18.04 from the year 2020 to build KLEEMartin Nowack
2019-11-04Use default travis OS X version instead of outdated old oneMartin Nowack
2019-10-31enable testing for LLVM 9.0Julian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 17:15:02 +0000