projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e092640) | patch
Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 16. Enabl...
authorTim King <taking@cs.nyu.edu>
Thu, 30 Jun 2011 19:06:57 +0000 (19:06 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 30 Jun 2011 19:06:57 +0000 (19:06 +0000)
commit5f8b41a0b896c2224ac4fc3b13eba7c370764df6
tree3daa5ed255ccb46f0d740fb7412fe4c7584791b1tree
parente0926408ef5113bf261d6205c218e5d529040108commit | diff
Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 16. Enabled arithmetic propagation and variable removal by default. Changed the command line arguments for both propagation and variable removal allow for disabling these.
src/util/options.cpp diff | blob | history