projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd67a25) | patch
Add missing code to track dependencies recursively for string explanations as well.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 3 Mar 2016 16:02:34 +0000 (10:02 -0600)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 3 Mar 2016 16:02:34 +0000 (10:02 -0600)
commitea514f2aa787998ac31f8546bd202890f6bac056
treece10881d55132e86285c1ec5194890d80d185d33tree
parentdd67a250541d28d2a6fdaee02c9ae71fea272f87commit | diff
Add missing code to track dependencies recursively for string explanations as well.
src/theory/strings/theory_strings.cpp diff | blob | history