projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28a413e) | patch
Fixed an error in the rewriter Pascal pointed out. This was in effectively dead code...
authorTim King <taking@cs.nyu.edu>
Mon, 10 Sep 2012 20:38:35 +0000 (20:38 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 10 Sep 2012 20:38:35 +0000 (20:38 +0000)
commit586b07613702027fc685e55994e2a325961ca5b7
treea990485f228033e2335c8b5e0f30ecc46a2a3e31tree
parent28a413e59f035841cf61c8ba1e3d1b575d1d89d1commit | diff
Fixed an error in the rewriter Pascal pointed out. This was in effectively dead code. (Nobody internally made minus nodes.)
src/theory/arith/arith_rewriter.cpp diff | blob | history