projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53d6255) | patch
Adding a gnu++11 rule to travis.
authorTim King <taking@google.com>
Wed, 31 Aug 2016 04:31:59 +0000 (21:31 -0700)
committerTim King <taking@google.com>
Sun, 18 Sep 2016 22:57:10 +0000 (15:57 -0700)
commit89c7f56eb901a30845867cfb2dfccf1518935117
tree0da73487e7a46cf7c36d04d8a627c1c9da6ecdeftree
parent53d625529c90c81b46a08811e4143552095fff9acommit | diff
Adding a gnu++11 rule to travis.
.travis.yml diff | blob | history