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

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Mon, 5 Apr 2010 14:28:55 +0000 (14:28 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Mon, 5 Apr 2010 14:28:55 +0000 (14:28 +0000)
commit	57e51c2212f1c626368c66c6fbcf78ea0ce9722e
tree	6264e0a545a63bd8922fc7c2638fe003d404bdea	tree
parent	342c81e52224be3afc255a8a719747fa5eafdb32	commit \| diff

Minor refactorings, in response to code review (Bug #73)

13 files changed:

src/expr/expr_manager_template.cpp		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/parser_state.cpp		diff \| blob \| history
src/parser/parser_state.h		diff \| blob \| history
src/parser/smt/Smt.g		diff \| blob \| history
test/unit/expr/expr_black.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/parser/parser_black.h	[deleted file]	blob \| history
test/unit/parser/parser_white.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history