projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ada1fc4) | patch
Updating the contrib/new-theory script and travis to use the new Makefile.theories...
authorTim King <taking@google.com>
Thu, 12 Nov 2015 12:23:08 +0000 (04:23 -0800)
committerTim King <taking@google.com>
Thu, 12 Nov 2015 12:23:08 +0000 (04:23 -0800)
commit304e0f3eb0fac012a3aac9ec02918f1e4616bde7
tree1b29a9c02985b2443feb7991ac4226d5681af005tree
parentada1fc44c9b5b8746a2e1e4046032282149768b5commit | diff
Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
.travis.yml diff | blob | history
contrib/new-theory diff | blob | history