projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ba0d73) | patch
bug fix for parametric datatypes, previously datatypes theory/rewriter was not recogn...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 26 Oct 2012 22:19:20 +0000 (22:19 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 26 Oct 2012 22:19:20 +0000 (22:19 +0000)
commitb2333e3bb49f84be01ddcc875dc6b01cc6b29307
tree4163e2b6a8d7872216d8974e4517455a8bacf3e7tree
parent4ba0d73db87df39dd1f3d943ff5415b9f104d3e1commit | diff
bug fix for parametric datatypes, previously datatypes theory/rewriter was not recognizing parametric datatype types as being datatype types
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history