git.libre-soc.org Git - cvc5.git/commit

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Thu, 25 Mar 2010 20:20:29 +0000 (20:20 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Thu, 25 Mar 2010 20:20:29 +0000 (20:20 +0000)
commit	56837b30117fda75298138cdd052e0c5ba201b86
tree	b96d684f9926ea49c2b39e6193a8925f95d0287d	tree
parent	e3e0b625862ba23ba97eb72fcdd3811448ad855a	commit \| diff

Adding comments to NodeManager
Minor name changes for cleanup and hash function templates

13 files changed:

src/expr/attribute.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/expr/node_value.cpp		diff \| blob \| history
src/expr/node_value.h		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/parser/symbol_table.h		diff \| blob \| history
src/prop/cnf_stream.h		diff \| blob \| history
src/prop/sat.h		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
src/theory/uf/theory_uf.h		diff \| blob \| history
test/unit/expr/attribute_black.h		diff \| blob \| history
test/unit/expr/attribute_white.h		diff \| blob \| history