projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e3dc44) | patch
* fixed bug 481 by adding check for division by 0 in bit-vector division circuit
authorlianah <lianahady@gmail.com>
Wed, 12 Dec 2012 22:26:18 +0000 (17:26 -0500)
committerlianah <lianahady@gmail.com>
Wed, 12 Dec 2012 22:26:18 +0000 (17:26 -0500)
commit751950b3ca631ed92e1af35a290642fe7b7cc0bb
tree20bfe0a785d7bebba60b2bb0572e890d95243d87tree
parent0e3dc441641c64e6137d85f8d7eaeb78ee562e51commit | diff
* fixed bug 481 by adding check for division by 0 in bit-vector division circuit
* added printing for total bit-vector division kinds for debugging purposes
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/bv/bitblast_strategies.cpp diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h diff | blob | history
src/util/bitvector.h diff | blob | history