summaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
2018-01-08Remove portfolio option from builds. (#1496)Aina Niemetz
2017-12-18Fix travis write errors. (#1445)Aina Niemetz
2017-10-11Reduce number of travis builds.Mathias Preiner
2017-09-14Enable ccache compression, increase cache size (#1099)Andres Noetzli
2017-09-13Make ccache work with Clang on Travis (#1097)Andres Noetzli
2017-09-12Enable ccache on Travis, disable debug symbols (#1094)Andres Noetzli
2017-09-01Add travis debug build with cln. (#1066)Aina Niemetz
2017-08-31Add GCC7 jobs to Travis (#1054)Andres Noetzli
2017-08-31Replace CVC4_THREADLOCAL in interactive_shell (#1065)Andres Noetzli
2017-08-30Remove Coverity SSL certificate workaround from Travis configuration. (#1058)Mathias Preiner
2017-08-29Fix indentation for disabled Java tests.Mathias Preiner
2017-08-29Disable Java tests for now until they get fixed.Mathias Preiner
2017-08-28Run Ant on TravisPat Hawks
2017-08-28Travis: Package instead of download for cxxtest (#1055)Andres Noetzli
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-08-24Test Java API on CIPat Hawks
2017-08-07Optionally split regression tests into test groups (#207)Andres Noetzli
2017-07-26-Og for non-opt build, parallel pcvc4 check (#206)Andres Noetzli
2017-07-23Disabling compiling unit tests with coverity scan for now.Tim King
2017-07-14Disable separate gnu++11 tests on Travis (#193)Andres Noetzli
2017-01-05Disabling a regression test that assumes CVC4 is configured with proofs on. M...Tim King
2016-09-25Integrating a working coverity_scan travis rule back into master.Tim King
2016-09-21Fixing an error in the previous travis commit.Tim King
2016-09-20Updating the travis file for coverity scan.Tim King
2016-09-18Adding a gnu++11 rule to travis.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-11-23Switching travis over to using the containers infrastructure.Tim King
2015-11-12Updating the contrib/new-theory script and travis to use the new Makefile.the...Tim King
2015-11-12Updating the contrib/new-theory script and travis to use the new Makefile.the...Tim King
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-19Test portfolio with --no-wait-to-join.Morgan Deters
2014-06-15fix travis configMorgan Deters
2014-04-10refactor .travis.ymlKshitij Bansal
2014-03-31Travis-CI test for new-theory script, also related bugfixes.Morgan Deters
2014-01-08Merge branch '1.3.x'Morgan Deters
2014-01-08Cache apt packages on Travis.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
2013-12-16Send Travis-CI emails to everyoneMorgan Deters
2013-12-13Fix to Travis-CI config.Morgan Deters
2013-12-13Travis-CI configuration.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback