projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a026ce1) | patch
New application track script, new heuristics and all --tear-down-incremental. Not...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 12 Jun 2014 17:43:06 +0000 (13:43 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 12 Jun 2014 17:43:06 +0000 (13:43 -0400)
commited402af3aaf578a55df6fa225b7b7a5455486a05
treea12b4ff65461bd3304dc1044c091491aaadb80bbtree
parenta026ce1757679f19ae646221ac5c12058d449f28commit | diff
New application track script, new heuristics and all --tear-down-incremental.  Not yet tested.
contrib/run-script-smtcomp2014-application diff | blob | history