projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95fc20b) | patch
require type ascriptions for parametric datatype constructors (making them canonical...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 29 Nov 2012 23:28:29 +0000 (23:28 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 29 Nov 2012 23:28:29 +0000 (23:28 +0000)
commit5992a3983bd6ba7d4b16d5abe89e2fd759789a4e
tree5bd80356945207a1ff2032e0ad226b5ff7a9ce78tree
parent95fc20b5dffb8eb6fe11b53d72d7e6750e86fa49commit | diff
require type ascriptions for parametric datatype constructors (making them canonical), this fixes the followup issue of bug 438
src/theory/datatypes/datatypes_rewriter.h diff | blob | history