projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9381ce) | patch
Minor simplification to normal form explanations.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 15 Jul 2016 14:39:09 +0000 (09:39 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 15 Jul 2016 14:39:09 +0000 (09:39 -0500)
commitc0af8cf1c1e3edca35bb7ae4edf1831ebdee0abd
tree7a674542e85f58d06213e26b9fcddbf44d8e4323tree
parente9381ce8e8b84039e148ede7af089ba27b9b32fecommit | diff
Minor simplification to normal form explanations.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history