projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 151a4bb) | patch
Add more features to symbol manager (#5434)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 13 Nov 2020 15:49:36 +0000 (09:49 -0600)
committerGitHub <noreply@github.com>
Fri, 13 Nov 2020 15:49:36 +0000 (09:49 -0600)
commit74be116f3956dab6be0b8e3e18f723957a351fbf
treebc13cfd3fc3d288b7afb2b0ddc874b924034790btree
parent151a4bb262713a94c488f2e4e8c1f5d498098253commit | diff
Add more features to symbol manager (#5434)

This is in preparation for having the symbol manager manage expression names at the parser level instead of inside SmtEngine.

This adds some necessary features regarding scopes and global declarations.

This PR still does not change the behavior of the parser.
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
src/parser/smt2/Smt2.g diff | blob | history