projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd0443) | patch
Prioritize inferences when processing normal forms in strings.
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 30 Jul 2016 14:44:42 +0000 (09:44 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 30 Jul 2016 14:44:42 +0000 (09:44 -0500)
commited55020a3467c8df9fd4d7eefdcd7cb6db0a4917
tree3ce21d4150901690572797c0d132c9ad601be8f2tree
parent2bd04431e38dbbaad843a8f92ba730a6a7a86e53commit | diff
Prioritize inferences when processing normal forms in strings.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history