fix --check-model --finite-model-find when used together (related to bug 486)
another fix for quantifier models (related to bug 486)
Merge branch '1.0.x'
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields

(cherry picked from master bcbf52ffbe0416ecf70bdb644017c338c0540793)
made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_produced user-level context dependent.  this fixes bug 486
some fixes for win32, including ability to "make check" win32 builds via wine
made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_produced user-level context dependent.  this fixes bug 486

(cherry-picked from master c5d1a5d8f898bf22c6bbc98f1d484b07706c035b)
Fix the regression test for bug 486, and enable it
Fix the regression test for bug 486, and enable it

(cherry-picked from master 23b4fd82d1ed326cd57e9bc57ef9fab98b0b1c87)
Merge branch '1.0.x'
Fixes for Win32 (closes bugs 488 and 489)

* timer statistics now supported (closes bug 488)
* use of --mmap doesn't crash anymore (closes bug 489)
Updated NEWS for recent changes.
fix for finite model finding caused by new collectModelInfo code
currently disabling bug486 regression.  we need to discuss getValue/collectModelInfo for quantifiers more.
correct output language bug with --dump-to
Adding a heuristic to more eagerly split bounded integer variables.
Fix a small problem in clang builds due to namespaces and symbol lookup
Fix a small problem in clang builds due to namespaces and symbol lookup
Merge branch '1.0.x'