projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8c0874) | patch
Refactor `metakind` (#7639)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 16 Nov 2021 15:59:04 +0000 (07:59 -0800)
committerGitHub <noreply@github.com>
Tue, 16 Nov 2021 15:59:04 +0000 (15:59 +0000)
commitd7e709d60b5a9923ac56f0948dd9e3b26b4b3205
tree9946292897c35041be4b92a1aad10ffddf95a2bftree
parente8c0874f92d16735d91f5e7d7d437c694e4d3b85commit | diff
Refactor `metakind` (#7639)

This is a first attempt of refactoring our `metakind` definitions and
declarations. The commit removes unnecessary code that was being
generated, moves code from header to source files (primarily code that
was only relevant to the source file), and gets rid of some hacks
related to circular dependencies.
src/expr/metakind_template.cpp diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/expr/mkmetakind diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_value.cpp diff | blob | history
src/expr/node_value.h diff | blob | history
src/printer/ast/ast_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history