about summary refs log tree commit diff homepage
path: root/.travis
AgeCommit message (Expand)Author
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
2014-09-13[Travis] Also propagate make flags to 'lit.site.cfg' build.Daniel Dunbar
2014-09-13[Travis] Propagate make flags to unittests build as well.Daniel Dunbar
2014-09-13Add TravisCI testing infrastructure files.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 11:12:45 +0000