projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9eaeb4) | patch
Remove Record object and convert to Node-level API (#5575)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Dec 2020 22:59:11 +0000 (16:59 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 22:59:11 +0000 (14:59 -0800)
commitf7bdcfeb862aaf8156dca4aaec71aef9cdda1e56
tree51054758afabaa12e9d49894743ad55dec7ce4fbtree
parenta9eaeb438882abd6d06be41c6fcb87f4f04bcc8ccommit | diff
Remove Record object and convert to Node-level API (#5575)

Required for detangling NodeManager from the Expr layer.
src/api/cvc4cpp.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/record.cpp diff | blob | history
src/expr/record.h diff | blob | history