projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c06ccd) | patch
Final preparations for changing API to use the Node-level datatype (#4863)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 02:53:13 +0000 (21:53 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 02:53:13 +0000 (21:53 -0500)
commit8b1f36ef24beaf3fa0708c28c53042a5c823c79c
tree81b5398a7c01b9936e0db883ff3684cc03ef5328tree
parent1c06ccdb1228fc7ef14440e1f29cf016cf5756c9commit | diff
Final preparations for changing API to use the Node-level datatype (#4863)

This includes all fixes encountered while fixing unit tests with the Term -> Node version of Datatypes in the API.

After all pending PRs are merged, the next step will be to convert the new API to use e.g. CVC4::DType instead of CVC4::Datatype everywhere.
src/expr/dtype.cpp diff | blob | history
src/expr/dtype.h diff | blob | history
src/expr/dtype_cons.cpp diff | blob | history
src/expr/dtype_cons.h diff | blob | history
src/expr/dtype_selector.cpp diff | blob | history
src/expr/dtype_selector.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history