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
Age
Commit message (
Expand
)
Author
2016-12-17
[TravisCI] Fix bug where TravisCI build scripts would carry on executing
Dan Liew
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
2016-10-27
upgrade to boolector-2.2.0 & remove the no longer needed aux array vector
Hoang M. Le
2016-09-01
Try to unbreak the TravisCI and Docker builds.
Dan Liew
2016-06-10
rename the configure option --with-metasmt-default-solver to --with-metasmt-d...
Hoang M. Le
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
Do not install clang-3.4 if not needed
Martin Nowack
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
Teach TravisCI and the Docker build to use the tagged
Dan Liew
2015-08-31
Delete old patches.
Martin Nowack
2015-08-30
Support KLEE with different STP versions; Disable r940
Martin Nowack
2015-06-16
added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...
Timotej Kapus
2015-06-15
added zcov integration to travis CI
Timotej
2015-04-25
Remove boost requirements from TravisCI build.
Dan Liew
2015-04-09
Fix mistake if TravisCI scripts where configure flag for enabling POSIX
Dan Liew
2015-04-09
Switch to using STP's fork of minisat for TravisCI. It contains fixes
Dan Liew
2015-04-03
Upstream STP now depends on an external build of minisat. Attempt to
Dan Liew
2014-10-09
Add a hack for Travis so that llvm-gcc can build native executables.
Dan Liew
2014-09-15
[Travis] Show commands as they execute in
Dan Liew
2014-09-15
Capture STP build output to file and only show its contents if there
Dan Liew
2014-09-15
Clean up travis build scripts a little.
Dan Liew
2014-09-15
Fix when we decide to "not exit on command error". We were doing this
Dan 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-13
Add TravisCI testing infrastructure files.
Dan Liew
