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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Wed, 11 Nov 2020 18:56:03 +0000 (12:56 -0600)
committer	GitHub <noreply@github.com>
	Wed, 11 Nov 2020 18:56:03 +0000 (12:56 -0600)
commit	80930ce4f6d21b417028a5ec207ddfbd7d85e66d
tree	6c616c78fc05609983d1d4742fa5d0e69b8aa22e	tree
parent	7d3198d18304eb6ea5f087a82defb4952fce31b9	commit \| diff

Move symbol manager to src/expr/ (#5420)

This is required since symbol manager will use context dependent data structures (in its cpp).

This is required since classes in src/parser/ are not allowed to include private headers.

20 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/symbol_manager.cpp	[new file with mode: 0644]	blob
src/expr/symbol_manager.h	[new file with mode: 0644]	blob
src/main/command_executor.cpp		diff \| blob \| history
src/main/command_executor.h		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/interactive_shell.h		diff \| blob \| history
src/parser/CMakeLists.txt		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/symbol_manager.cpp	[deleted file]	blob \| history
src/parser/symbol_manager.h	[deleted file]	blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
test/api/ouroborous.cpp		diff \| blob \| history
test/api/smt2_compliance.cpp		diff \| blob \| history
test/unit/main/interactive_shell_black.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history
test/unit/parser/parser_builder_black.h		diff \| blob \| history

RSS Atom