Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this).
Better error when there are \backslashes in |quoted symbols|.
smt2 parser: tokenize emptyset only if theory enabled
Previous "repeat" fix required extra lookahead (leading to assert-fails).  Fixed, at the cost of an antlr warning that's safe to ignore for now.
test for prvs commit (tokenize emptyset)

9978c259f30b1f4b2c70c04589a309033a6eb1f6
parseErrorHelper : factor out whole word matching

catches some corner cases, more readable too
Add missing set of braces, fixes --trace.

Also ensure // commented Debug() lines don't get included in Debug/Trace_tags.
Merge pull request #29 from kbansal/alternatefix

Fix for emptyset in smt2 parser, sets translator to quantified logic, misc
Tim's options for QF_LIA and QF_LRA---SOI+approx.
Disallow copy/assignment of SmtEngine.
Merging CAV14 paper bit-vector work.
reverting portfolio hack
Merging Tim's pseudoboolean work from his fmcad14 branch.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Some news about API changes.
Add new --pb-rewrites options to QF_LIA run script for SMT-COMP.
fix in sets rewriter
user/sat context issue in sets
sets: comment out an assertion too strong
disable failing test