projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c43514f) | patch
Fixing a case for explanation of non-normal form equalities.
authorTim King <taking@cs.nyu.edu>
Thu, 14 Jun 2012 21:24:44 +0000 (21:24 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 14 Jun 2012 21:24:44 +0000 (21:24 +0000)
commitae66405f6fc4af734d84b8eb2752d2706d056814
tree33745f45e60288c87d4438fd77562bd2067c2dd6tree
parentc43514fef548f977e88e2986c2f993b975830cc2commit | diff
Fixing a case for explanation of non-normal form equalities.
src/theory/arith/theory_arith.cpp diff | blob | history