projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f20e159) | patch
output a warning message when a function type (or datatype, or array, etc.) is create...
authorMorgan Deters <mdeters@gmail.com>
Fri, 11 May 2012 19:11:56 +0000 (19:11 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 11 May 2012 19:11:56 +0000 (19:11 +0000)
commit90107a2c332fb4137a432424136cbfd1ab88b34d
treef30ee0c34fac6b524ebceb6ed89cb0a1d7a714e6tree
parentf20e159baa1669bbedbf6afd4f0a5117854822a9commit | diff
output a warning message when a function type (or datatype, or array, etc.) is created with a Boolean term inside it
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history