projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bc4c35) | patch
hooked up "we are incomplete" flag after conversation with Tim (a theory notifies...
authorMorgan Deters <mdeters@gmail.com>
Tue, 12 Oct 2010 21:10:36 +0000 (21:10 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 12 Oct 2010 21:10:36 +0000 (21:10 +0000)
commit3d97646be5eb3f2b50028875f4d899698228e8c7
tree691e57f07b76c3413cebabb7ece4536eb309de16tree
parent2bc4c351bbf89103577fa9f33ebb395f5d61826acommit | diff
hooked up "we are incomplete" flag after conversation with Tim (a theory notifies the theory engine through its output channel); some cleanup; add a regression for bug #216
src/prop/prop_engine.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/output_channel.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/regress/regress0/bug216.smt2 [new file with mode: 0644] blob
test/unit/expr/node_self_iterator_black.h diff | blob | history
test/unit/theory/theory_black.h diff | blob | history
test/unit/theory/theory_engine_white.h diff | blob | history