projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a02146) | patch
Clean up ownership of Datatypes in NodeManager. (#6113)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 11 Mar 2021 02:00:22 +0000 (18:00 -0800)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 02:00:22 +0000 (02:00 +0000)
commitf7b7ece27eae3785425410d7b37b60c203602ccc
treedab27c917950968c1ec7ed43700e823f0abb263atree
parent0a021463ccdf674b5d5d9aee70908fe4fef300b9commit | diff
Clean up ownership of Datatypes in NodeManager. (#6113)

This is in preparation for deleting the Expr layer.
This further fixes incorrect handling of ownership for the datatypes
owned by the NodeManager.
src/expr/datatype_index.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history