projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 863dd51) | patch
Partial kind branch merge, including new --rewrite-apply-to-const feature.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 19:16:24 +0000 (14:16 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Dec 2013 22:13:59 +0000 (17:13 -0500)
commitc378d2955afd4d4085701935db4951d85edefef8
treebca733c55dd6790ab6f20362051c609d4bc546e8tree
parent863dd51bd8b5d72d41006a02950de28fc1666f21commit | diff
Partial kind branch merge, including new --rewrite-apply-to-const feature.
src/smt/options diff | blob | history
src/smt/options_handlers.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history