projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28000ce) | patch
for experimental, use incremental instead of teardown for all logics for testing...
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 20:57:05 +0000 (16:57 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 20:57:05 +0000 (16:57 -0400)
commit21c1f5d37d1c2995b944fcff4b68e0d57915a55a
tree619f2cefb91b8f981d24d91842d6904a912017f9tree
parent28000ce6af1b7f7624f789982b09addc8f197ba3commit | diff
for experimental, use incremental instead of teardown for all logics for testing purposes
contrib/run-script-smtcomp2015-application-experimental diff | blob | history