projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0fce9) | patch
Revert change to datatypes API for passing pointers, instead make deep copy during...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 1 Nov 2016 18:33:38 +0000 (13:33 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 1 Nov 2016 18:33:38 +0000 (13:33 -0500)
commitf4c783f97201753bf63c70c5c16b7861a236d57c
tree8e4a9e85d7485200bdfb52b5afc5032993938488tree
parent8e0fce94790249ff7aff84ff4500bb96e2ebb9e9commit | diff
Revert change to datatypes API for passing pointers, instead make deep copy during call to mkMutualDatatypes.
12 files changed:
src/compat/cvc3_compat.cpp diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history
src/smt/boolean_terms.cpp diff | blob | history