projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3558673) | patch
added fixes for datatype theory solver to account for rewriting before finite/well...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Apr 2011 22:24:29 +0000 (22:24 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Apr 2011 22:24:29 +0000 (22:24 +0000)
commit159b91c4fac915c8beced509806b57bd4b521383
tree44aac459c831209bb75a9c8321c3e3835df18d03tree
parent3558673ff03c3d5fb05ac714e30f35e45aed3af3commit | diff
added fixes for datatype theory solver to account for rewriting before finite/well-founded check.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history