projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b06265) | patch
+ test infrastructure fixes
authorMorgan Deters <mdeters@gmail.com>
Thu, 17 Dec 2009 18:48:39 +0000 (18:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 17 Dec 2009 18:48:39 +0000 (18:48 +0000)
commit7eb18a6c4b0ec6fcf4b6474d22307baa04f8f515
tree8621e2e60756ec6770bc949877eef808e7e99d55tree
parent3b06265b82d48074b3b733d655efd6dab6481150commit | diff
+ test infrastructure fixes
+ regenerate configure script
+ add CVC4::Message output class
+ add some IllegalArgument() assertion things
+ rename NodeManager::mkExpr() to mkNode()
14 files changed:
configure diff | blob | history
src/expr/expr_manager.cpp diff | blob | history
src/expr/node.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/main/main.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/util/Assert.h diff | blob | history
src/util/output.cpp diff | blob | history
src/util/output.h diff | blob | history
test/Makefile.in diff | blob | history
test/system/Makefile.in [new file with mode: 0644] blob
test/unit/Makefile.am diff | blob | history
test/unit/Makefile.in diff | blob | history