Remove old Travis CI support

We don't use it anymore. No need to burn additional cycles.

2 files changed, 0 insertions, 163 deletions

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 111ba1a0..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,162 +0,0 @@
-#dist: xenial
-services:
-    - docker
-language: cpp
-env:
-    ###########################################################################
-    # Configurations
-    #
-    # Each line in the "env" section represents a set of environment variables
-    # passed to a build. Thus each line represents a different build
-    # configuration.
-    ###########################################################################
-
-    # Check a subset of the matrix of:
-    #   LLVM  : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0, 12.0}
-    #   SOLVERS : {Z3, STP, STP:Z3, metaSMT}
-    #   STP_VERSION   : {2.3.3, master}
-    #   METASMT_VERSION : {v4.rc1}
-    #   METASMT_DEFAULT : {BTOR, CVC4, STP, YICES2, Z3}
-    #   METASMT_BOOST_VERSION : {x.y.z} // e.g. 1.60.0, libboost-dev will be used if unspecified
-    #   UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled
-    #   DISABLE_ASSERTIONS: {0, 1}
-    #   ENABLE_OPTIMIZED: {0, 1}
-    #   COVERAGE: {0, 1} // when set indicates that coverage data should be uploaded to the service
-    #   USE_TCMALLOC: {0, 1}
-
-    # Define default values - they are overwritten by each matrix entry if needed
-    global:
-    # Default configuration for all Travis-CI jobs. They are overriden by each job.
-    - BASE_IMAGE=ubuntu:bionic-20200807
-    - REPOSITORY=klee
-
-    - COVERAGE=0
-    - DISABLE_ASSERTIONS=0
-    - ENABLE_DOXYGEN=0
-    - ENABLE_OPTIMIZED=1
-    - ENABLE_DEBUG=1
-    - GTEST_VERSION=1.7.0
-    - KLEE_RUNTIME_BUILD="Debug+Asserts"
-    - LLVM_VERSION=9.0
-    - METASMT_VERSION=qf_abv
-    - MINISAT_VERSION="master"
-    - REQUIRES_RTTI=0
-    - SANITIZER_BUILD=
-    - SOLVERS=STP:Z3
-    - STP_VERSION=2.3.3
-    - TCMALLOC_VERSION=2.7
-    - UCLIBC_VERSION=klee_uclibc_v1.2
-    - USE_TCMALLOC=1
-    - USE_LIBCXX=1
-    - Z3_VERSION=4.8.4
-
-jobs:
-    include:
-    # Check supported LLVM versions
-    - name: "LLVM 13"
-      env: LLVM_VERSION=13.0
-
-    - name: "LLVM 12"
-      env: LLVM_VERSION=12.0
-
-    - name: "LLVM 11"
-      env: LLVM_VERSION=11.0
-
-    - name: "LLVM 10"
-      env: LLVM_VERSION=10.0
-
-    - name: "LLVM 9"
-      env: LLVM_VERSION=9.0
-
-    - name: "LLVM 8"
-      env: LLVM_VERSION=8.0
-
-    - name: "LLVM 7"
-      env: LLVM_VERSION=7.0
-
-    - name: "LLVM 6"
-      env: LLVM_VERSION=6.0
-
-    - name: "LLVM 5"
-      env: LLVM_VERSION=5.0
-
-    - name: "LLVM 4"
-      env: LLVM_VERSION=4.0
-
-    - name: "LLVM 3.9"
-      env: LLVM_VERSION=3.9
-
-    - name: "LLVM 3.8"
-      env: LLVM_VERSION=3.8 USE_LIBCXX=0
-
-    # Sanitizer builds. Do unoptimized build otherwise the optimizer might remove problematic code
-    - name: "ASan"
-      env: SANITIZER_BUILD=address ENABLE_OPTIMIZED=0 USE_TCMALLOC=0
-
-    - name: "UBSan"
-      env: SANITIZER_BUILD=undefined ENABLE_OPTIMIZED=0 USE_TCMALLOC=0
-    
-    # Use without libcxx as it is too slow to finish before travis time-out
-    - name: "MSan"
-      env: SANITIZER_BUILD=memory ENABLE_OPTIMIZED=0 USE_TCMALLOC=0 SOLVERS=STP USE_LIBCXX=0
-
-    # Test just using Z3 only
-    - name: "Z3 only"
-      env: SOLVERS=Z3
-
-    # Test just using metaSMT
-    - name: "metaSMT STP"
-      env: SOLVERS=metaSMT METASMT_DEFAULT=STP REQUIRES_RTTI=1
-
-    - name: "metaSMT Boolector"
-      env: SOLVERS=metaSMT METASMT_DEFAULT=BTOR REQUIRES_RTTI=1
-
-    # Test we can build against STP master
-    - name: "STP master"
-      env: SOLVERS=STP STP_VERSION=master
-
-    # Check we can build latest klee-uclibc branch
-    - name: "Latest klee-uclibc"
-      env: UCLIBC_VERSION=klee_0_9_29
-
-    # Check at least one build with Asserts disabled.
-    - name: "Asserts enabled"
-      env: SOLVERS=STP DISABLE_ASSERTIONS=1
-
-    # Check without TCMALLOC and with an optimised runtime library
-    - name: "No TCMalloc, optimised runtime"
-      env: USE_TCMALLOC=0 KLEE_RUNTIME_BUILD="Release+Debug+Asserts"
-
-    # Coverage build
-    - name: "Coverage"
-      env: ENABLE_OPTIMIZED=0 COVERAGE=1
-
-    # macOS
-    - name: "macOS"
-      os: osx
-      osx_image: xcode12.2
-      env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0
-
-    # Docker
-    - name: "Docker"
-      env: BUILD_DOCKER=1
-
-addons:
-  apt:
-    packages:
-      - docker-ce
-  homebrew:
-    packages:
-    - bash
-    update: true
-cache:
-  ccache: true
-  apt: true
-
-script:
-    # Build KLEE and run tests
-    - if [[ "${BUILD_DOCKER}" != "1" && "$TRAVIS_OS_NAME" == "osx" ]]; then export BASE=/tmp && export PATH="/usr/local/opt/ccache/libexec:/usr/local/bin:$PATH"; scripts/build/build.sh klee --debug --install-system-deps; export DYLD_LIBRARY_PATH=="$(cd ${BASE}/metaSMT-*-deps/stp-git-basic/lib/ && pwd)"; scripts/build/run-tests.sh /tmp/klee_build* --debug; fi
-    - if [[ "${BUILD_DOCKER}" != "1" && "$TRAVIS_OS_NAME" == "linux" ]]; then scripts/build/build.sh klee --docker --debug --push-docker-deps --create-final-image; fi
-    - if [[ "${BUILD_DOCKER}" != "1" && "$COVERAGE" == "1" && "$TRAVIS_OS_NAME" == "linux" ]]; then scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug; fi
-    - if [[ "${BUILD_DOCKER}" != "1" && "$COVERAGE" == "0" && "$TRAVIS_OS_NAME" == "linux" ]]; then scripts/build/run-tests.sh --run-docker --debug; fi
-    - if [[ "${BUILD_DOCKER}" -eq 1 ]]; then docker build .; fi
diff --git a/README.md b/README.md
index bbadb242..9aefd2c9 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,6 @@
 KLEE Symbolic Virtual Machine
 =============================
 
-[![Build Status](https://travis-ci.com/klee/klee.svg?branch=master)](https://travis-ci.com/klee/klee)
 [![Build Status](https://github.com/klee/klee/workflows/CI/badge.svg)](https://github.com/klee/klee/actions?query=workflow%3ACI)
 [![Build Status](https://api.cirrus-ci.com/github/klee/klee.svg)](https://cirrus-ci.com/github/klee/klee)
 [![Coverage](https://codecov.io/gh/klee/klee/branch/master/graph/badge.svg)](https://codecov.io/gh/klee/klee)