projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c0efea) | patch
add --incremental to --smtlib2 compliance mode (thanks Peter Collingbourne)
authorMorgan Deters <mdeters@gmail.com>
Thu, 6 Sep 2012 00:53:18 +0000 (00:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 6 Sep 2012 00:53:18 +0000 (00:53 +0000)
commitbf0912f64da23092716fa187df607e50eba92984
tree36619728d35215cf5db0418c75728d75f8ae3a8ftree
parent7c0efea7df301c32b56949054973217e41ce31abcommit | diff
add --incremental to --smtlib2 compliance mode (thanks Peter Collingbourne)
src/options/base_options diff | blob | history