projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 134c6dc) | patch
Fixes lots of problems in bv rewrite rules and adds lots of assertions
authorClark Barrett <barrett@cs.nyu.edu>
Wed, 13 Jun 2012 02:49:35 +0000 (02:49 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Wed, 13 Jun 2012 02:49:35 +0000 (02:49 +0000)
commit9b4696559cd2c74afb825d793614eb4cd6ee817e
treea83bd5b4aac7fe1aa8160f9de7721e85a218b3eftree
parent134c6dc95199bc57013d07e0992f89254f49038bcommit | diff
Fixes lots of problems in bv rewrite rules and adds lots of assertions
to catch any that I may have missed
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_normalization.h diff | blob | history
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history
src/theory/bv/theory_bv_rewriter.h diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history
src/theory/rewriter.cpp diff | blob | history