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
Fix build (some nonexistent files listed in Makefile)
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