projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6f69a8) | patch
Fixed bug 338:
authorLiana Hadarean <lianahady@gmail.com>
Thu, 17 May 2012 18:42:13 +0000 (18:42 +0000)
committerLiana Hadarean <lianahady@gmail.com>
Thu, 17 May 2012 18:42:13 +0000 (18:42 +0000)
commit1703b160511396cd23be5203d9af86641b45766e
treee1f085382022f853c068cef7990cd68fa3126f1btree
parenta6f69a821e2d26f8901662193da5ee8dc74b158acommit | diff
Fixed bug 338:
   - fixed buggy rewrite rules assuming certain nodes only had 2 children
   - added support for bv-rewrite dump
   - fixed smt2_printer for bv constants
src/printer/smt2/smt2_printer.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/util/options.cpp diff | blob | history
test/regress/regress0/aufbv/bug338.smt2 [new file with mode: 0644] blob