add leading zeros support for str.to.int
fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr
Revert a compiler warning fix from ea6a5a6.
fix was compiler warning in antlr_input, crashing test case with the old fix
fixed couple of more warnings
Fix for --force-logic to extend its reach to the parser.
Mostly resolves bug #561 memory leaks, and more.
Fix for (user) context-dependence of arith TO_INT/IS_INT rewriting and rewrite-divk.
Fix simplify output for SMT2 printer.
Fix compiler warning re: TheoryUF destructor.
Fix warnings, cleanup in strings typechecker.