projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 304e0f3) | patch
Updating the contrib/new-theory script and travis to use the new Makefile.theories...
authorTim King <taking@google.com>
Thu, 12 Nov 2015 14:58:40 +0000 (06:58 -0800)
committerTim King <taking@google.com>
Thu, 12 Nov 2015 14:58:40 +0000 (06:58 -0800)
commit304f3d632766a445b9e2fb9dd617b2c2cfd50fb2
tree8f7c6c827335119f74f28b15cf7b2a332d878622tree
parent304e0f3eb0fac012a3aac9ec02918f1e4616bde7commit | diff
Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
.travis.yml diff | blob | history