index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.travis.yml
Age
Commit message (
Expand
)
Author
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
2017-10-04
Fix TravisCI `METASMT_DEFAULT` setting.
Dan Liew
2017-10-04
Remove Autoconf/Makefile build system and adjust the TravisCI
Dan Liew
2017-07-28
Modified Travis-CI script to compile STP with BOOST support
Andrea Mattavelli
2017-07-23
Cleanup Travis builder
Martin Nowack
2017-07-16
Added caching of Homebrew downloads
Andrea Mattavelli
2017-05-24
travis CI: add LLVM 3.5 and 3.6 tests
Jiri Slaby
2017-05-02
[travis] add environment variable METASMT_BOOST_VERSION to control the boost ...
Hoang M. Le
2017-03-24
[Travis-CI] Added support for macOS build
Andrea Mattavelli
2017-03-23
[travis] use a proper version of metaSMT via environment variable METASMT_VER...
Hoang M. Le
2017-01-19
[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...
Dan Liew
2016-12-23
rerun lit tests for non-default metaSMT backends
Hoang M. Le
2016-12-02
[TravisCI] Clean up the configuration matrix.
Dan Liew
2016-12-02
[TravisCI] Fix the list of available configuration environment
Dan Liew
2016-11-30
Switched to STP 2.1.2 on Travis CI builds
Cristian Cadar
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
2016-10-14
Use newer trusty-based Travis CI (#452)
MartinNowack
2016-06-10
Use travis_wait to allow long running tests
Hoang
2016-06-10
add entries for metaSMT with btor/stp/z3 in Travis CI
Hoang M. Le
2016-06-10
add metaSMT to travis
Hoang
2016-06-04
Deactivate officiall llvm source. Use alternative ppa
Martin Nowack
2016-06-04
Do not install clang-3.4 if not needed
Martin Nowack
2016-05-25
add entry for llvm-2.9 and z3
Hoang M. Le
2016-05-16
Add cmake 2.8.11 as additional dependency
Martin Nowack
2016-03-05
Fix SELinux signatures in runtime
Laszlo Szekeres
2016-02-27
Travis: Run TCMalloc runs explicitly
Martin Nowack
2016-02-27
Update travis configuration to use tcmalloc
Martin Nowack
2016-02-14
Add TravisCI and Docker support for building KLEE with Z3 support
Dan Liew
2015-10-30
Make sure TravisCI does a few builds where it uses the development
Dan Liew
2015-10-30
Teach TravisCI and the Docker build to use the tagged
Dan Liew
2015-08-30
Support KLEE with different STP versions; Disable r940
Martin Nowack
2015-06-15
encrypted secrets with main klee repo key
Timotej
2015-06-15
added zcov integration to travis CI
Timotej
2015-04-25
Make sure TravisCI tests at least one Debug+Asserts build.
Dan Liew
2015-04-25
Remove boost requirements from TravisCI build.
Dan Liew
2014-09-14
[Travis] Stop building with both Clang and GCC for now, see comment.
Daniel Dunbar
2014-09-15
Clean up travis build scripts a little.
Dan Liew
2014-09-14
Remove dependence on the bc tool. Use python instead because we are
Dan Liew
2014-09-13
Enable ASSERTS in Travis builds.
Daniel Dunbar
2014-09-13
Add TravisCI testing infrastructure files.
Dan Liew