minor fix for merge
minor fix for merge
Merge branch 'master' of github.com:tiliang/CVC4
minor cleanup for merge
minor fix for merge
minor cleanup for merge
Merge branch 'master' of github.com:tiliang/CVC4
escaped characters, having an issue with smt-lib defintion, further repair is needed.
minor fix for merge
minor cleanup for merge
minor fix for merge
escaped characters, having an issue with smt-lib defintion, further repair is needed.
Merge branch 'master' of github.com:tiliang/CVC4

Conflicts:
	src/theory/strings/theory_strings.cpp
resolve merge conflicts
minor fix for recognizing the tail backslash, still have smt-lib compliance issue.
lexer fix: disable smt-lib conversion for string literals
bug fix for reverse check
fix expanding def
partial function charat
Make QCF more incremental.  Fix bug in QCF handling of ITE formulas, add support for ITE terms.  Add full-delay inst-when mode.  Make strings come before quantifiers in check.  Minor cleanup.