IDL example theory (to be used with --use-theory=idl).
typo
small parese issue in IDL
Allow disabling include-file feature
Fix for bug 517.
One more case for arrays of Boolean.
Fix typos in alttheoryskel
Better array-store-all output for SMT-LIB.
another fix for array-store-all printing
Fix in SMT2 parser for parametric datatypes
Make --var-elim-quant true by default.  Add rewrite engine to quantifiers module.
Java streams example I forgot to add a long time ago
Give a more useful parse error message for "undeclared variable -1".

Indeed, "-1" is a valid user symbol in SMT-LIB; this commit makes a small
change to the parser to detect when something like "-1" is used but
undeclared, and adds a note to the error message giving the syntax for
unary minus.
Fix to the "include" extended feature of the SMT-LIB parser
int-operator-specific type rules
For SMT-LIBv2: to_real support; to_int and is_int support for constant expressions
redo the to_int/is_int rewrite in theory arith's ppRewrite; fixes models
stat for ppRewrite in arith
linear div,mod,/
testing