projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8f7cff) | patch
Reverting rewrite rule to working version
authorClark Barrett <barrett@cs.nyu.edu>
Fri, 15 Jun 2012 20:51:05 +0000 (20:51 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Fri, 15 Jun 2012 20:51:05 +0000 (20:51 +0000)
commitb286d6463eb671d35b81958b18309b8f096c2586
treec690e7448a05d241ad2387edc9d14430d3f98dd7tree
parentc8f7cff1911b1fb3136f41e67d92a3d66280add7commit | diff
Reverting rewrite rule to working version
src/theory/bv/theory_bv_rewrite_rules_normalization.h diff | blob | history