projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf7f728) | patch
Fix bug 491 and related issues with checkModel() and quantifiers. Enabling previousl...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Feb 2013 23:13:01 +0000 (18:13 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 1 Apr 2013 19:38:14 +0000 (15:38 -0400)
commit994e6eb72e3475967a9a40a0566744ce1794f20a
treefec05368ea52fbb00204ee3f3a168c2434610eaetree
parentbf7f728381bb27163f3e056d698ba4da6316b9c8commit | diff
Fix bug 491 and related issues with checkModel() and quantifiers.  Enabling previously-failing testcase.
src/smt/smt_engine.cpp diff | blob | history
src/theory/model.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history