projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67bc89b) | patch
dump define-funs correctly with "--dump declarations", whether the function is define...
authorMorgan Deters <mdeters@gmail.com>
Fri, 16 Sep 2011 21:54:21 +0000 (21:54 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 16 Sep 2011 21:54:21 +0000 (21:54 +0000)
commit84f0e9f58671083794dce8ed8e71a8fa9fe587cd
tree2dcf0b3d91cc2a16eda91635f367913d9dc27803tree
parent67bc89bd3fa304ea39934c14a7187c088e600011commit | diff
dump define-funs correctly with "--dump declarations", whether the function is defined via API or through input language
src/expr/command.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history