projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 557e6c0) | patch
type checking for define-fun in production builds; related to (and might resolve...
authorMorgan Deters <mdeters@gmail.com>
Thu, 7 Oct 2010 22:54:43 +0000 (22:54 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 7 Oct 2010 22:54:43 +0000 (22:54 +0000)
commitb63e4a11733051728397f7d4ecb3b205fbd81dab
tree04dad54f11fd1f7a80c3a8b30bb344ad9786283ftree
parent557e6c09dcc9068e848796772bc775542f4fc599commit | diff
type checking for define-fun in production builds; related to (and might resolve) bug 212
12 files changed:
configure.ac diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_manager.h diff | blob | history
src/main/getopt.cpp diff | blob | history
src/main/usage.h diff | blob | history
src/smt/modal_exception.h [new file with mode: 0644] blob
src/smt/noninteractive_exception.h [deleted file] blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/util/options.h diff | blob | history
test/regress/regress0/simple-rdl-definefun.smt2 diff | blob | history