projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: af73723 20da56d)
Merge pull request #188 from aniemetz/cx11
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 13 Jul 2017 21:41:35 +0000 (14:41 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Jul 2017 21:41:35 +0000 (14:41 -0700)
autoconf: make -std=gnu++11 mandatory


Trivial merge