projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b335fcb) | patch
fully implement the always-check-again-after-the-output-channel-is-used fix for bug...
authorMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 01:48:41 +0000 (01:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 01:48:41 +0000 (01:48 +0000)
commit161bf31cfa76271542790ec9a2c052e35d6bb1cb
tree4599f90f5307c527a520cc3cf549ec0323fdd5d8tree
parentb335fcb563d61665259248bfc9b74fa807071e6acommit | diff
fully implement the always-check-again-after-the-output-channel-is-used fix for bug #275.  will finally close #275.
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/sat.cpp diff | blob | history
src/prop/sat.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history