projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a354816) | patch
-Og for non-opt build, parallel pcvc4 check (#206)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 27 Jul 2017 00:05:12 +0000 (17:05 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2017 00:05:12 +0000 (17:05 -0700)
commit661edc4948b72a615b04bf0d4cfa41018f29f6be
tree734395d978d3fa97eb4ec8864eeb3718237ff763tree
parenta354816a5d6b9026383e9982f3cf25996eddd3bacommit | diff
-Og for non-opt build, parallel pcvc4 check (#206)

-Og enables optimizations that do not interfere with debugging. This is the new
default for debug builds if the compiler supports the flag. This commit also
enables parallel checking for the portfolio build on Travis.
.travis.yml diff | blob | history
configure.ac diff | blob | history