about summary refs log tree commit diff homepage
path: root/.travis/klee.sh
AgeCommit message (Expand)Author
2018-01-30Fix coverage generationMartin Nowack
2018-01-16[Travis-CI] Added codecov.io supportAndrea Mattavelli
2017-10-17[travis] add a workaround to keep Travis alive when running tests for metaSMT...Hoang M. Le
2017-10-17[travis] update scripts to additionally test CVC4 and Yices2Hoang M. Le
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-28[TravisCI] Make sure when building with CMake that only the solversDan Liew
2017-07-23Cleanup Travis builderMartin Nowack
2017-03-30[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assumingDan Liew
2017-03-24[Travis-CI] Added support for macOS buildAndrea Mattavelli
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-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-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-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-09Fix mistake if TravisCI scripts where configure flag for enabling POSIXDan 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-29 06:51:17 +0000