Safer swig-wrapping for unsigned long long in Java, which will throw an exception if the argument is out of bounds for unsigned long long.  Thanks to Steve Siegel for the report.
Fix bug in E-matching Real/Int terms.
Some cleanup, fix warnings raised by Debian packager.
Improve quantifier instantiation: always use original terms when matching (was missing for simple triggers).   Minor updates to scripts.
Fixing a soundness bug due to the default implmentation of Theory::ppAssert() not respecting subtyping.
Separating an implicit inclusion of smt_engine.h from theory.h.
Fixing Tim's subtype/solving bug for arrays
Fix bug 567

This bug got introduced in 96eccb0d6134ccf4ead0134299b2e3750a890083.
The backing Node didn't always exist because of the changes.
Improved type-checking for tuple and record selects.
Fix typo in Java destruction code; should fix some recent bug reports of crashes in Java.
timespec printing bug
Revert "timespec printing bug"

This reverts commit 9006b759cfa01c6006196e0716c2d67c760556a6.
fix timespec printing

sorry prvs fix added some unrelated code
New --tear-down-incremental mode, useful for debugging and performance profiling.
update stats_black
Merge pull request #27 from kbansal/statistics

update stats_black
Some fixes to GC order in Java.
Add option to avoid dumping partial models/proofs.
Minor changes to script.  Disable cbqi sat.
Fix personal.mk for some make targets.