projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c9e1ce) | patch
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 28 Sep 2018 17:18:04 +0000 (10:18 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 28 Sep 2018 17:18:04 +0000 (12:18 -0500)
commit10788f4bc499d4915473453c40bf72b8d4432afb
tree4a0d335b8438c593306da49cd930e95330ddc625tree
parent8c9e1ce5939737bac95cf16f59e6fc7fc856940bcommit | diff
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history