projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d5d28e) | patch
Update to the ArithRewriter to remove REWRITE_AGAIN_FULL and limit REWRITE_AGAIN...
authorTim King <taking@cs.nyu.edu>
Wed, 28 Mar 2012 17:16:27 +0000 (17:16 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 28 Mar 2012 17:16:27 +0000 (17:16 +0000)
commit5d9fabc11757166679db9df874a0abe876aec0b8
tree49d5b8dc08b43dfd408e053bc9f7571dcec8ee62tree
parent4d5d28e59c6338876e8436a5fc2b9e2dd6058e30commit | diff
Update to the ArithRewriter to remove REWRITE_AGAIN_FULL and limit REWRITE_AGAIN calls.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/normal_form.cpp diff | blob | history
src/theory/arith/normal_form.h diff | blob | history