projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d54316) | patch
add AscriptionType stuff to support nullary parameterized datatypes; also, review...
authorMorgan Deters <mdeters@gmail.com>
Sat, 14 May 2011 00:15:43 +0000 (00:15 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 14 May 2011 00:15:43 +0000 (00:15 +0000)
commit11bb98ba5b1e9e88053a7bd6adc1d48d48a4bb21
tree1c975ba91df4f5ffcee6b53d164d00e1181b83c8tree
parent8d54316e7ff784a8d66da9ecc2d289ab463761c2commit | diff
add AscriptionType stuff to support nullary parameterized datatypes; also, review of Andy's earlier commit, with some minor code clean-up and documentation
16 files changed:
src/expr/declaration_scope.cpp diff | blob | history
src/expr/declaration_scope.h diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/type.cpp diff | blob | history
src/expr/type.h diff | blob | history
src/expr/type_node.cpp diff | blob | history
src/expr/type_node.h diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/kinds diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.h diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/ascription_type.h [new file with mode: 0644] blob
src/util/datatype.cpp diff | blob | history
src/util/datatype.h diff | blob | history