projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a920f87) | patch
bv: Remove dump=bv-rewrites. (#7099)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 31 Aug 2021 22:26:25 +0000 (15:26 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Aug 2021 22:26:25 +0000 (22:26 +0000)
commite461f722ff0888165e63916ee4be8502bd0b657c
tree763089d0737b273178194d0b14b1e374d05e844dtree
parenta920f878b1ed8bf83520e0acaf2810514d00d89fcommit | diff
bv: Remove dump=bv-rewrites. (#7099)

This is work towards eliminating calls to currentSmtEngine.
This dump mode will become obsolete with the DSL, and is thus now
removed.
src/smt/dump.cpp diff | blob | history
src/theory/bv/theory_bv_rewrite_rules.h diff | blob | history