projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d93f5f6) | patch
New translator features: expand define-funs and combine assertions.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 19:58:04 +0000 (15:58 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 22:43:59 +0000 (18:43 -0400)
commit40f3b400173c637185eb9ad20e649bd92030c82b
tree6c0fb9a53695eb39c76d1dd3fdde6fe6b1e96758tree
parentd93f5f6164b04ae2e82dbaf3af517ba206659547commit | diff
New translator features: expand define-funs and combine assertions.
examples/translator.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history