projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49747c4) | patch
Do not throw error when codatatype is not well-founded. Add option for disabling...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 23 Sep 2014 12:03:49 +0000 (14:03 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 23 Sep 2014 12:03:57 +0000 (14:03 +0200)
commit2064e455674aab26e3632da31998bda8b3fff5f9
tree524988e058f1fd4c3e79ed5ea73b3f805c6dd42atree
parent49747c4574eec3cfa192ffb6e6a2451b949e8b3ecommit | diff
Do not throw error when codatatype is not well-founded.  Add option for disabling codatatype reasoning.  Minor cleanup.
src/theory/datatypes/options diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/quantifiers/rewrite_engine.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/util/datatype.cpp diff | blob | history