projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0db8855) | patch
fixed bv rewriter to evaluate bvurem over constants
authorLiana Hadarean <lianahady@gmail.com>
Tue, 9 Oct 2012 20:05:46 +0000 (20:05 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Tue, 9 Oct 2012 20:05:46 +0000 (20:05 +0000)
commit24ef270bb13fc36de9bea4fb92449f5ad8d0770d
tree1617e68033cb2d7866027aa25a19271b17e78428tree
parent0db88552a98ce250db69746415b39bd7f7e9ea4fcommit | diff
fixed bv rewriter to evaluate bvurem over constants
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history