projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a99b24) | patch
Removed the variableRemovalEnabled option and d_removedRows from TheoryArith. This...
authorTim King <taking@cs.nyu.edu>
Fri, 23 Mar 2012 23:06:29 +0000 (23:06 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 23 Mar 2012 23:06:29 +0000 (23:06 +0000)
commite322681d960a2fe26a968f6bb16d1d7b10b5215f
tree75460141ed4376241f178221de1a7bd56187dea9tree
parent1a99b24c49f9b865a70fa626efcb96571499917ecommit | diff
Removed the variableRemovalEnabled option and d_removedRows from TheoryArith.  This had been disabled for several months.
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history