| Age | Commit message (Expand) | Author |
|---|
| 2022-01-06 | Remove old Travis CI support | Martin Nowack |
| 2021-12-20 | llvm13: Add LLVM 13 to Travis CI and GitHub Actions | Lukas Zaoral |
| 2021-09-10 | llvm12: Add LLVM 12 to Travis CI and GitHub Actions | Lukas Zaoral |
| 2020-12-04 | llvm11: Add LLVM 11 to GitHub Actions and Travis CI | Lukas Zaoral |
| 2020-11-23 | Use a more recent version of macOS | Cristian Cadar |
| 2020-10-30 | Use the default version of LLVM for the macOS Travis target | Cristian Cadar |
| 2020-10-12 | Add `ENABLE_DOXYGEN=0` to default config in .travis.yml | jiseongg |
| 2020-09-30 | Use LLVM 6.0 for now on macOS | Martin Nowack |
| 2020-09-30 | Disable libc++ for LLVM 3.8 Travis CI target | Martin Nowack |
| 2020-09-30 | Set default LLVM version to 9.0 | Martin Nowack |
| 2020-09-05 | Remove secure vars | Cristian Cadar |
| 2020-09-04 | Update homebrew cache | Martin Nowack |
| 2020-09-04 | Remove caching of homebrew-built packages | Martin Nowack |
| 2020-09-04 | Use homebrew packages provided by Travis | Martin Nowack |
| 2020-09-03 | Change the way bash is upgraded on macOS. | Cristian Cadar |
| 2020-04-20 | Consistently define variable using notation VAR=value; fixed comment placement | Cristian Cadar |
| 2020-04-20 | Named jobs in Travis CI for better visualization of results | Cristian Cadar |
| 2020-03-02 | travis: add LLVM 10.0 | Julian Büning |
| 2020-02-13 | Use a newer Ubuntu 18.04 from the year 2020 to build KLEE | Martin Nowack |
| 2019-11-04 | Use default travis OS X version instead of outdated old one | Martin Nowack |
| 2019-10-31 | enable testing for LLVM 9.0 | Julian Büning |
| 2019-07-30 | Provide klee runtime build type as parameter | Martin Nowack |
| 2019-06-04 | Fixed incorrect comment in Travis file, we now use STP 2.3.3 | Cristian Cadar |
| 2019-04-08 | Use newer version of metaSMT in travis build | Martin Nowack |
| 2019-04-05 | Add docker build as target. | Martin Nowack |
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning |
| 2019-03-18 | Update dependencies | Martin Nowack |
| 2019-03-17 | Use newer uclibc version: libc++ requires locale support activated | Martin Nowack |
| 2019-03-17 | Add travis support to build with libc++ | Martin Nowack |
| 2019-03-12 | Enable MSan Travis CI job | Martin Nowack |
| 2019-03-11 | Add LLVM 8.0 target | Martin Nowack |
| 2019-03-10 | Updated dependency build system for KLEE | Martin Nowack |
| 2018-11-11 | Use LLVM 4 for Mac Build | Martin Nowack |
| 2018-10-26 | travis: enable LLVM 7 testing | Jiri Slaby |
| 2018-10-26 | travis: enable LLVM 6 testing | Jiri Slaby |
| 2018-10-26 | travis: enable LLVM 5 testing | Jiri Slaby |
| 2018-09-18 | travis: enable LLVM 4 testing | Jiri Slaby |
| 2018-09-14 | travis CI: add LLVM 3.9 build tests | Jiri Slaby |
| 2018-09-06 | Build on trusty without sudo - uses faster Docker infrastructure from TravisCI | Martin Nowack |
| 2018-07-12 | travis CI: add LLVM 3.8 build tests | Jiri Slaby |
| 2018-07-12 | Fix uploading of coverage information from inside of docker | Martin Nowack |
| 2018-07-04 | Extensive updates to the build script for dependencies and docker | Martin Nowack |
| 2018-05-24 | llvm37: enable travis testing | Jiri Slaby |
| 2018-04-17 | Change llvm apt repository to enable llvm 3.7+ | Timotej Kapus |
| 2018-01-30 | Enable caching for travis-ci | Martin Nowack |
| 2018-01-16 | [Travis-CI] Added codecov.io support | Andrea Mattavelli |
| 2017-12-05 | Move Homebrew tap from personal repository to the KLEE organization | Andrea Mattavelli |
| 2017-12-05 | Updated TravisCI to use pip2 instead of pip | Andrea Mattavelli |
| 2017-12-05 | Bumped xcode version for TravisCI | Andrea Mattavelli |
| 2017-10-17 | [travis] update scripts to additionally test CVC4 and Yices2 | Hoang M. Le |
