projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0879991) | patch
Enabled array propagation during lemma propagation - this should catch some
authorClark Barrett <barrett@cs.nyu.edu>
Wed, 23 Dec 2015 17:42:03 +0000 (09:42 -0800)
committerClark Barrett <barrett@cs.nyu.edu>
Wed, 23 Dec 2015 17:42:03 +0000 (09:42 -0800)
commit87b0fe9ce10d1e5e9ed5a3e7db77f46bf3f68922
tree87697267ffa5966f877aabeea50be8be72123bd5tree
parent0879991984ebc0687faec90b44c85f2389931207commit | diff
Enabled array propagation during lemma propagation - this should catch some
conflicts that now require extra splitting.
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history