projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix memory leak in unit test (#3068)
[cvc5.git] / .travis.yml
2019-06-15 Andres NoetzliUse Ubuntu 16.04 on Travis (#3059) blob | commitdiff | raw
2019-05-18 Aina NiemetzFP: Fix regression test and enable SymFPU on Travis... blob | commitdiff | raw | diff to current
2019-03-13 Mathias PreinerFix public headers for make install. (#2856) blob | commitdiff | raw | diff to current
2018-10-20 Andres NoetzliTravis: run examples and avoid building them twice... blob | commitdiff | raw | diff to current
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinertravis: Switch to cmake. blob | commitdiff | raw | diff to current
2018-08-27 Andres NoetzliRemove Coverity build from Travis (#2373) blob | commitdiff | raw | diff to current
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... blob | commitdiff | raw | diff to current
2018-03-26 Andres NoetzliRegression level 0 for distcheck on Travis (#1714) blob | commitdiff | raw | diff to current
2018-03-09 Mathias PreinerFix Travis for unit test compilation errors. (#1651) blob | commitdiff | raw | diff to current
2018-02-16 Aina NiemetzMake regress1 default, only test regress0 on Travis... blob | commitdiff | raw | diff to current
2018-02-08 Aina NiemetzReduce number of Travis builds. (#1578) blob | commitdiff | raw | diff to current
2018-01-08 Aina NiemetzRemove portfolio option from builds. (#1496) blob | commitdiff | raw | diff to current
2017-12-19 Aina NiemetzFix travis write errors. (#1445) blob | commitdiff | raw | diff to current
2017-10-12 Mathias PreinerReduce number of travis builds. blob | commitdiff | raw | diff to current
2017-09-14 Andres NoetzliEnable ccache compression, increase cache size (#1099) blob | commitdiff | raw | diff to current
2017-09-13 Andres NoetzliMake ccache work with Clang on Travis (#1097) blob | commitdiff | raw | diff to current
2017-09-13 Andres NoetzliEnable ccache on Travis, disable debug symbols (#1094) blob | commitdiff | raw | diff to current
2017-09-01 Aina NiemetzAdd travis debug build with cln. (#1066) blob | commitdiff | raw | diff to current
2017-09-01 Andres NoetzliAdd GCC7 jobs to Travis (#1054) blob | commitdiff | raw | diff to current
2017-09-01 Andres NoetzliReplace CVC4_THREADLOCAL in interactive_shell (#1065) blob | commitdiff | raw | diff to current
2017-08-30 Mathias PreinerRemove Coverity SSL certificate workaround from Travis... blob | commitdiff | raw | diff to current
2017-08-29 Mathias PreinerFix indentation for disabled Java tests. blob | commitdiff | raw | diff to current
2017-08-29 Mathias PreinerDisable Java tests for now until they get fixed. blob | commitdiff | raw | diff to current
2017-08-28 Pat HawksRun Ant on Travis blob | commitdiff | raw | diff to current
2017-08-28 Andres NoetzliTravis: Package instead of download for cxxtest (#1055) blob | commitdiff | raw | diff to current
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222) blob | commitdiff | raw | diff to current
2017-08-24 Pat HawksTest Java API on CI blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-08-08 Andrew ReynoldsMerge pull request #211 from CVC4/fix_warn_sygus blob | commitdiff | raw | diff to current
2017-08-08 Andres NoetzliOptionally 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 KingDisabling compiling unit tests with coverity scan for... blob | commitdiff | raw | diff to current
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp blob | commitdiff | raw | diff to current
2017-07-15 Andres NoetzliDisable separate gnu++11 tests on Travis (#193) blob | commitdiff | raw | diff to current
2017-01-05 Tim KingDisabling a regression test that assumes CVC4 is config... blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-09-25 Tim KingIntegrating a working coverity_scan travis rule back... blob | commitdiff | raw | diff to current
2016-09-21 Tim KingFixing an error in the previous travis commit. blob | commitdiff | raw | diff to current
2016-09-21 Tim KingUpdating the travis file for coverity scan. blob | commitdiff | raw | diff to current
2016-09-19 Tim KingMerge pull request #92 from timothy-king/travis-cpp11 blob | commitdiff | raw | diff to current
2016-09-18 Tim KingAdding a gnu++11 rule to travis. blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-11-24 Tim KingSwitching travis over to using the containers infrastru... blob | commitdiff | raw | diff to current
2015-11-12 Tim KingUpdating the contrib/new-theory script and travis to... blob | commitdiff | raw | diff to current
2015-11-12 Tim KingUpdating the contrib/new-theory script and travis to... blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersSome reversions of recent commits re: portfolio failure. blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersTest portfolio with --no-wait-to-join. blob | commitdiff | raw | diff to current
2014-06-18 Morgan DetersSome reversions of recent commits re: portfolio failure. blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersSome reversions of recent commits re: portfolio failure. blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersTest portfolio with --no-wait-to-join. blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersTest portfolio with --no-wait-to-join. blob | commitdiff | raw | diff to current
2014-06-15 Morgan Detersfix travis config blob | commitdiff | raw | diff to current
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-04-10 Kshitij Bansalrefactor .travis.yml blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-31 Morgan DetersTravis-CI test for new-theory script, also related... blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersCache apt packages on Travis. blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw | diff to current
2013-12-16 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-16 Morgan DetersSend Travis-CI emails to everyone blob | commitdiff | raw | diff to current
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersFix to Travis-CI config. blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersFix to Travis-CI config. blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersTravis-CI configuration. blob | commitdiff | raw | diff to current