projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8598e2) | patch
Minor change to strings, introduce proxy vars only when necessary.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 11 Aug 2016 14:03:47 +0000 (09:03 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 11 Aug 2016 14:03:47 +0000 (09:03 -0500)
commitd4099f01bfad0924f1039cbd466279b5ebc551ce
treec19adb6c3ce21159f9ca3621ff5702ee7d981c66tree
parente8598e2420e2ee2c75abfb6629818299c7ab40f6commit | diff
Minor change to strings, introduce proxy vars only when necessary.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history