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

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Wed, 28 Apr 2010 18:34:11 +0000 (18:34 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Wed, 28 Apr 2010 18:34:11 +0000 (18:34 +0000)
commit	a72c7a26fda2b9c268912e618fd7d71164e4800a
tree	e1694867f049b5328720abc9496cfe926989aae7	tree
parent	7a8454030fdbb1e6c2a6db7ce18eafe0764eaf4a	commit \| diff

Refactoring Input/Parser code to support external manipulation of the parser state.

22 files changed:

src/main/main.cpp		diff \| blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/antlr_input.cpp	[deleted file]	blob \| history
src/parser/antlr_input.h	[deleted file]	blob \| history
src/parser/antlr_input_imports.cpp	[deleted file]	blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/cvc/cvc_input.cpp		diff \| blob \| history
src/parser/cvc/cvc_input.h		diff \| blob \| history
src/parser/input.cpp		diff \| blob \| history
src/parser/input.h		diff \| blob \| history
src/parser/input_imports.cpp	[new file with mode: 0644]	blob
src/parser/parser.cpp	[new file with mode: 0644]	blob
src/parser/parser.h	[new file with mode: 0644]	blob
src/parser/parser_state.cpp	[deleted file]	blob \| history
src/parser/parser_state.h	[deleted file]	blob \| history
src/parser/smt/Smt.g		diff \| blob \| history
src/parser/smt/smt_input.cpp		diff \| blob \| history
src/parser/smt/smt_input.h		diff \| blob \| history
src/parser/symbol_table.h	[deleted file]	blob \| history
test/unit/Makefile.am		diff \| blob \| history
test/unit/parser/parser_black.h	[new file with mode: 0644]	blob
test/unit/parser/parser_white.h	[deleted file]	blob \| history