projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94dc66d) | patch
added several rewrite rules (BitwiseSlicing, Ule/SleEliminate, ExtractSignExtend...
authorlianah <lianahady@gmail.com>
Tue, 30 Apr 2013 17:42:50 +0000 (13:42 -0400)
committerlianah <lianahady@gmail.com>
Tue, 30 Apr 2013 19:54:24 +0000 (15:54 -0400)
commit2ba4f51d43406c9475116abbab7f3ebea94679af
tree389e05d0b432bdc44d9d797f9ffbb84d811bd994tree
parent94dc66d4cb4061a80bffe1ec72d2ab98e44dd626commit | diff
added several rewrite rules (BitwiseSlicing, Ule/SleEliminate, ExtractSignExtend) and bvurem lemma
src/prop/bvminisat/bvminisat.cpp diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv_rewrite_rules.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_normalization.h diff | blob | history
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history