projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eef0f8) | patch
Do not collapse wrongly applied selectors for non-well-founded codatatypes pre-model.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 22 Dec 2014 22:21:40 +0000 (23:21 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 22 Dec 2014 22:21:40 +0000 (23:21 +0100)
commit76da4764db903c503ac339584db667aa50748179
tree1c7f35e8ee0804aaf08679daac8ad2ef9f3b8b09tree
parent1eef0f8d079e40cf9eac76e70399908d75dc11bccommit | diff
Do not collapse wrongly applied selectors for non-well-founded codatatypes pre-model.
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/util/datatype.cpp diff | blob | history