projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a2aed3) | patch
Compute model basis only for fmf. Add another co-datatype regression.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 18 Nov 2014 17:44:48 +0000 (18:44 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 18 Nov 2014 17:44:48 +0000 (18:44 +0100)
commitba02a5247204abc3b6d38a61f5f7d31f23e765ac
tree770de1e338ace6ae0889fb557f4617c00c639894tree
parent3a2aed30267a33ff78006aec6a5b36aad96feb09commit | diff
Compute model basis only for fmf.  Add another co-datatype regression.
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
test/regress/regress0/quantifiers/Makefile.am diff | blob | history
test/regress/regress0/quantifiers/stream-x2014-09-18-unsat.smt2 [new file with mode: 0644] blob