projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9118b7) | patch
Addressed many of the concerns raised in the public interface review of CVC4 Datatype...
authorMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 03:47:25 +0000 (03:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 03:47:25 +0000 (03:47 +0000)
commitf55dfd4df98fbecbd0ef0f86da79d537457109d6
tree8979e0e92e4d228d285c847f4af4913d4d8a7638tree
parentb9118b75a8ee24a94a693cd3f850c63eb5085ef1commit | diff
Addressed many of the concerns raised in the public interface review of CVC4 Datatypes (bug #283) by Chris Conway.  Thanks, Chris!
15 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/smt2/Smt2.g diff | blob | history
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/util/datatype.cpp diff | blob | history
src/util/datatype.h diff | blob | history
src/util/datatype.i diff | blob | history
test/unit/util/datatype_black.h diff | blob | history