projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41362e7) | patch
Delayed the addition of unate propagation lemmas until propagation is called. The...
authorTim King <taking@cs.nyu.edu>
Sat, 2 Apr 2011 21:05:47 +0000 (21:05 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 2 Apr 2011 21:05:47 +0000 (21:05 +0000)
commita2cc0337aa53cfb686e26d68f98f2ae176ff1337
tree73dbd73b52511d7575b925acd9ea18414b92ff4etree
parent41362e76ebc0073c1801700da574b6265dcbc6a9commit | diff
Delayed the addition of unate propagation lemmas until propagation is called.  The OutputChannel is now untouched by TheoryArith during preregistration.
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/theory/arith/unate_propagator.cpp diff | blob | history
src/theory/arith/unate_propagator.h diff | blob | history
test/unit/theory/theory_arith_white.h diff | blob | history