projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2eec05b) | patch
fixed faulty bv rewrite rule
authorLiana Hadarean <lianahady@gmail.com>
Wed, 28 Mar 2012 02:47:50 +0000 (02:47 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 28 Mar 2012 02:47:50 +0000 (02:47 +0000)
commit05d64d040fd7340ec713af7b34515c3daac50220
tree0af797a2b7413f9b604c691c3fd5cec44af28125tree
parent2eec05ba299532c663fffc4262467a9b6771c2c4commit | diff
fixed faulty bv rewrite rule
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history