projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80930ce) | patch
Make symbol manager context dependent (#5424)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Nov 2020 13:21:09 +0000 (07:21 -0600)
committerGitHub <noreply@github.com>
Thu, 12 Nov 2020 13:21:09 +0000 (07:21 -0600)
commitf980e08b00ca9691f1f566455db446786994601b
treeb845d9e74b972f635089fd564461f21aecffdfabtree
parent80930ce4f6d21b417028a5ec207ddfbd7d85e66dcommit | diff
Make symbol manager context dependent (#5424)

This follows a similar style to symbol_table.h/cpp. This is required since context dependent data structures are cvc4_private, and symbol manager is cvc4_public.
src/expr/symbol_manager.cpp diff | blob | history
src/expr/symbol_manager.h diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history