projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove broken dumping support from portfolio build (#2470)
[cvc5.git]
/
.travis.yml
2018-08-27
Andres Noetzli
Remove Coverity build from Travis (#2373)
blob
|
commitdiff
|
raw
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-26
Andres Noetzli
Regression level 0 for distcheck on Travis (#1714)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-09
Mathias Preiner
Fix Travis for unit test compilation errors. (#1651)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-16
Aina Niemetz
Make regress1 default, only test regress0 on Travis...
blob
|
commitdiff
|
raw
|
diff to current
2018-02-08
Aina Niemetz
Reduce number of Travis builds. (#1578)
blob
|
commitdiff
|
raw
|
diff to current
2018-01-08
Aina Niemetz
Remove portfolio option from builds. (#1496)
blob
|
commitdiff
|
raw
|
diff to current
2017-12-19
Aina Niemetz
Fix travis write errors. (#1445)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-12
Mathias Preiner
Reduce number of travis builds.
blob
|
commitdiff
|
raw
|
diff to current
2017-09-14
Andres Noetzli
Enable ccache compression, increase cache size (#1099)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-13
Andres Noetzli
Make ccache work with Clang on Travis (#1097)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-13
Andres Noetzli
Enable ccache on Travis, disable debug symbols (#1094)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-01
Aina Niemetz
Add travis debug build with cln. (#1066)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-01
Andres Noetzli
Add GCC7 jobs to Travis (#1054)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-01
Andres Noetzli
Replace CVC4_THREADLOCAL in interactive_shell (#1065)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-30
Mathias Preiner
Remove Coverity SSL certificate workaround from Travis...
blob
|
commitdiff
|
raw
|
diff to current
2017-08-29
Mathias Preiner
Fix indentation for disabled Java tests.
blob
|
commitdiff
|
raw
|
diff to current
2017-08-29
Mathias Preiner
Disable Java tests for now until they get fixed.
blob
|
commitdiff
|
raw
|
diff to current
2017-08-28
Pat Hawks
Run Ant on Travis
blob
|
commitdiff
|
raw
|
diff to current
2017-08-28
Andres Noetzli
Travis: Package instead of download for cxxtest (#1055)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-25
Aina Niemetz
Move LFSC checker out of the CVC repository. (#222)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-24
Pat Hawks
Test Java API on CI
blob
|
commitdiff
|
raw
|
diff to current
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-08-08
Andrew Reynolds
Merge pull request #211 from CVC4/fix_warn_sygus
blob
|
commitdiff
|
raw
|
diff to current
2017-08-08
Andres Noetzli
Optionally split regression tests into test groups...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-27
Andres Noetzli
-Og for non-opt build, parallel pcvc4 check (#206)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-23
Tim King
Disabling compiling unit tests with coverity scan for...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-07-15
Andres Noetzli
Disable separate gnu++11 tests on Travis (#193)
blob
|
commitdiff
|
raw
|
diff to current
2017-01-05
Tim King
Disabling a regression test that assumes CVC4 is config...
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
blob
|
commitdiff
|
raw
|
diff to current
2016-09-25
Tim King
Integrating a working coverity_scan travis rule back...
blob
|
commitdiff
|
raw
|
diff to current
2016-09-21
Tim King
Fixing an error in the previous travis commit.
blob
|
commitdiff
|
raw
|
diff to current
2016-09-21
Tim King
Updating the travis file for coverity scan.
blob
|
commitdiff
|
raw
|
diff to current
2016-09-19
Tim King
Merge pull request #92 from timothy-king/travis-cpp11
blob
|
commitdiff
|
raw
|
diff to current
2016-09-18
Tim King
Adding a gnu++11 rule to travis.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-11-24
Tim King
Switching travis over to using the containers infrastru...
blob
|
commitdiff
|
raw
|
diff to current
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
blob
|
commitdiff
|
raw
|
diff to current
2015-11-12
Tim King
Updating the contrib/new-theory script and travis to...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Some reversions of recent commits re: portfolio failure.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Test portfolio with --no-wait-to-join.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-18
Morgan Deters
Some reversions of recent commits re: portfolio failure.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Some reversions of recent commits re: portfolio failure.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Test portfolio with --no-wait-to-join.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Test portfolio with --no-wait-to-join.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-15
Morgan Deters
fix travis config
blob
|
commitdiff
|
raw
|
diff to current
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-04-10
Kshitij Bansal
refactor .travis.yml
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-03-31
Morgan Deters
Travis-CI test for new-theory script, also related...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-08
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-08
Morgan Deters
Cache apt packages on Travis.
blob
|
commitdiff
|
raw
|
diff to current
2014-01-02
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-22
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
First attempt at incorporating LFSC proof checker into...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-16
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-16
Morgan Deters
Send Travis-CI emails to everyone
blob
|
commitdiff
|
raw
|
diff to current
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-13
Morgan Deters
Fix to Travis-CI config.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-13
Morgan Deters
Fix to Travis-CI config.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-13
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-13
Morgan Deters
Travis-CI configuration.
blob
|
commitdiff
|
raw
|
diff to current