projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b084a7e) | patch
* ability to output NodeBuilders without first converting them to Nodes---useful...
authorMorgan Deters <mdeters@gmail.com>
Fri, 28 Oct 2011 20:30:24 +0000 (20:30 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 28 Oct 2011 20:30:24 +0000 (20:30 +0000)
commit890bacd7cb11c6e991722e8a7b7cd0ef9147ea3b
tree0c2f05f224fe79310130dc054c7606144e248de0tree
parentb084a7efa9d65ec2f7475caa8486f8fd4cbafbd5commit | diff
* ability to output NodeBuilders without first converting them to Nodes---useful for debugging.
* language-dependent Node::toString()
* some minor proof-related cleanup
16 files changed:
src/expr/node.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/expr/node_value.cpp diff | blob | history
src/expr/node_value.h diff | blob | history
src/main/Makefile.am diff | blob | history
src/main/usage.h [deleted file] blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/proof/cnf_proof.cpp diff | blob | history
src/proof/cnf_proof.h diff | blob | history
src/proof/proof.h diff | blob | history
src/proof/proof_manager.cpp diff | blob | history
src/proof/proof_manager.h diff | blob | history
src/proof/sat_proof.cpp diff | blob | history
src/proof/sat_proof.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/util/options.cpp diff | blob | history