projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ca6b72) | patch
Bug fix for theory strings related to old cycle detection code (was leading to bogus...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 5 Feb 2014 10:23:47 +0000 (04:23 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 5 Feb 2014 10:23:47 +0000 (04:23 -0600)
commitef5d5880ad48d3659db33477c08a45eba44aab0d
tree92562797615d1c8a5a3ff75e1bd747a11b17724ctree
parent0ca6b72fa4546f81949fe08f3d8a0eb9251dc7c9commit | diff
Bug fix for theory strings related to old cycle detection code (was leading to bogus model).  Minor cleanup of QCF.
src/theory/quantifiers/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history