Squashed commit of the following:
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 24 Jun 2014 05:40:17 +0000 (01:40 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 24 Jun 2014 05:42:26 +0000 (01:42 -0400)
commit7736abe3b9c898033737865f033cc5cfe0f7922f
tree8a1903164e4300b606beb9b64d663f3d2946709c
parentc948e9517b7b5f0bacb055ab2ad320f889c3fb49
Squashed commit of the following:

 * Fix a bug in intersection
 * merging...
 * add delayed length lemmas
 * PreRegisterTerm is changed.
 * Bug fix for string-opt2
 * PreRegisterTerm is changed.
 * add delayed length lemmas
 * Bug fix for string-opt2
 * PreRegisterTerm is changed.
 * Bug fix for string-opt2
 * PreRegisterTerm is changed.
 * Bug fix for string-opt2
 * PreRegisterTerm is changed.
src/theory/strings/regexp_operation.cpp
src/theory/strings/theory_strings.cpp
src/theory/strings/theory_strings.h