about summary refs log tree commit diff homepage
path: root/.travis
AgeCommit message (Expand)Author
2017-07-28Merge pull request #728 from delcypher/cmake_change_defaultAndrea Mattavelli
2017-07-28Fixed script for STP in Travis-CI: Build now exits on errorsAndrea Mattavelli
2017-07-28Modified Travis-CI script to compile STP with BOOST supportAndrea Mattavelli
2017-07-28[TravisCI] Make sure when building with CMake that only the solversDan Liew
2017-07-23Cleanup Travis builderMartin Nowack
2017-05-23[TravisCI] Try to unbreak the build against upstream STP.Dan Liew
2017-05-02[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...Hoang M. Le
2017-04-07[travis] fix a git submodule failure of metaSMTHoang M. Le
2017-04-06Merge pull request #626 from delcypher/meta_smt_check_version_presentCristian Cadar
2017-03-30[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assumingDan Liew
2017-03-30[TravisCI] Try unbreaking the TravisCI metaSMT build. Copying acrossDan Liew
2017-03-24[Travis-CI] Added support for macOS buildAndrea Mattavelli
2017-03-24[Travis-CI] Refactored Z3 in its own scriptAndrea Mattavelli
2017-03-23[TravisCI] Try to unbreak the metaSMT build.Dan Liew
2017-03-23[TravisCI] Check if `METASMT_VERSION` is set and abort if it is notDan Liew
2017-03-23[travis] build metaSMT without C++11Hoang M. Le
2017-03-23[travis] use a proper version of metaSMT via environment variable METASMT_VER...Hoang M. Le
2017-02-21fix metaSMT versionHoang M. Le
2017-01-19[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...Dan Liew
2017-01-18[CMake] Remove `ENABLE_TESTS` CMake cache option.Dan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-12-23rerun lit tests for non-default metaSMT backendsHoang M. Le
2016-12-18[TravisCI] When building with the old build system move backDan Liew
2016-12-18[TravisCI] Remove `set +e` commands so that when running tests we failDan Liew
2016-12-17[TravisCI] Fix bug where TravisCI build scripts would carry on executingDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-10-27upgrade to boolector-2.2.0 & remove the no longer needed aux array vectorHoang M. Le
2016-09-01Try to unbreak the TravisCI and Docker builds.Dan Liew
2016-06-10rename the configure option --with-metasmt-default-solver to --with-metasmt-d...Hoang M. Le
2016-06-10add entries for metaSMT with btor/stp/z3 in Travis CIHoang M. Le
2016-06-10add metaSMT to travisHoang
2016-06-04Do not install clang-3.4 if not neededMartin Nowack
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-30Teach TravisCI and the Docker build to use the taggedDan Liew
2015-08-31Delete old patches.Martin Nowack
2015-08-30Support KLEE with different STP versions; Disable r940Martin Nowack
2015-06-16added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...Timotej Kapus
2015-06-15added zcov integration to travis CITimotej
2015-04-25Remove boost requirements from TravisCI build.Dan Liew
2015-04-09Fix mistake if TravisCI scripts where configure flag for enabling POSIXDan Liew
2015-04-09Switch to using STP's fork of minisat for TravisCI. It contains fixesDan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2014-10-09Add a hack for Travis so that llvm-gcc can build native executables.Dan Liew
2014-09-15[Travis] Show commands as they execute inDan Liew
2014-09-15Capture STP build output to file and only show its contents if thereDan Liew
2014-09-15Clean up travis build scripts a little.Dan Liew
2014-09-15Fix when we decide to "not exit on command error". We were doing thisDan Liew
2014-09-14[tests] Enable running tests in parallel.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 03:11:47 +0000