projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a61f77f) | patch
Convert symbol table from Expr-level to Term-level (#5355)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 28 Oct 2020 19:51:41 +0000 (14:51 -0500)
committerGitHub <noreply@github.com>
Wed, 28 Oct 2020 19:51:41 +0000 (14:51 -0500)
commit3ed42d7aba07db5801cf8245890035192aa06b15
tree83299050be1fa63e14acf55455032f0763372b63tree
parenta61f77fd58c8da0f38de4d094258f78f71774383commit | diff
Convert symbol table from Expr-level to Term-level (#5355)

This task is left over from parser migration.

This PR also drops support for a case of symbol overloading, in particular symbols (constructors, selectors) for parametric datatypes cannot be overloaded. One regression is disabled as a result.
src/api/cvc4cpp.cpp diff | blob | history
src/expr/symbol_table.cpp diff | blob | history
src/expr/symbol_table.h diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/unit/expr/symbol_table_black.h diff | blob | history