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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Mon, 27 Jun 2022 22:28:27 +0000 (15:28 -0700)
committer	GitHub <noreply@github.com>
	Mon, 27 Jun 2022 22:28:27 +0000 (22:28 +0000)
commit	55d024accae4abf992c9585961bd0765d9eef2ab
tree	d35cb58d7af5c6d7852e63e77551a6ea4a4f9097	tree
parent	ad425c0bc9931c09f615cd55585aa6f78206a847	commit \| diff

Move `SymbolManager` and `SymbolTable` to parser (#8910)

This moves `SymbolManager` and `SymbolTable` to the parser. To do so, it
modifies headers in the `context` package to be public to the parser
(changes `cvc5_private.h` to `cvc5parser_public.h`), because they are
shared between the parser and the main library.

30 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/context/cdhashmap.h		diff \| blob \| history
src/context/cdhashset.h		diff \| blob \| history
src/context/cdinsert_hashmap.h		diff \| blob \| history
src/context/cdlist.h		diff \| blob \| history
src/context/cdo.h		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/symbol_manager.cpp	[deleted file]	blob \| history
src/expr/symbol_manager.h	[deleted file]	blob \| history
src/expr/symbol_table.cpp	[deleted file]	blob \| history
src/expr/symbol_table.h	[deleted file]	blob \| history
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/api/cpp/symbol_manager.cpp	[new file with mode: 0644]	blob
src/parser/api/cpp/symbol_manager.h	[new file with mode: 0644]	blob
src/parser/parser.h		diff \| blob \| history
src/parser/parser_builder.h		diff \| blob \| history
src/parser/symbol_table.cpp	[new file with mode: 0644]	blob
src/parser/symbol_table.h	[new file with mode: 0644]	blob
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
test/unit/main/interactive_shell_black.cpp		diff \| blob \| history
test/unit/node/symbol_table_black.cpp		diff \| blob \| history
test/unit/parser/parser_black.cpp		diff \| blob \| history
test/unit/parser/parser_builder_black.cpp		diff \| blob \| history

RSS Atom