projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 055a2a6) | patch
Fix for bug 131. Added some additional debugging assertions for the arith rewriter.
authorTim King <taking@cs.nyu.edu>
Wed, 26 May 2010 19:58:36 +0000 (19:58 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 26 May 2010 19:58:36 +0000 (19:58 +0000)
commit9468cc0bae417484004e13b64fa8ad0626758780
tree1fda8da63024e03e40edaa782d66345730f810e6tree
parent055a2a6ac0a2aa8f8c2e031755eca3347164b9dfcommit | diff
Fix for bug 131. Added some additional debugging assertions for the arith rewriter.
src/theory/arith/arith_rewriter.cpp diff | blob | history