projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57e44de) | patch
Doubly-ensure incremental is off in main track. Also import bv-portfolio strategy.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 21:41:42 +0000 (17:41 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 13 Jun 2014 21:41:42 +0000 (17:41 -0400)
commitf6dd7379078de253a6ec5cc3302f78010dbfccc3
tree860aaf1b06dc734ff1d0a04caabd44d53494af71tree
parent57e44de6cc08f36743fe46a2ae4ff8810029e5c4commit | diff
Doubly-ensure incremental is off in main track.  Also import bv-portfolio strategy.
contrib/run-script-smtcomp2014 diff | blob | history