changed the shifting bit-blasting to potentially be more efficient
Bug fix for --fmf-fmc for non-uninterpreted sort quantifiers, added infrastructure to BV collectModelInfo in preparation for bug fix.
Add option --cbqi-recurse.
Allow BV and DT in either order in the logic string
(get-info :all-options) to get option values; also command-line option suggestions
fix for win32 option parsing via mingw32
Some fixes for (get-info :all-options)
some portfolio driver cleanup
Don't allow --stats if not a statistics-enabled build
Fixes for building with mingw win64.
Regressions now checking models on unknown too.  But quantifiers don't have to be simplified by check-model in that case.
Fix numerous compiler warnings on various platforms
Minor fixes to build system.
Parameterized, uninterpreted sorts need no Boolean-term conversion
Fix a serious bug in the preprocessor; problem inputs reported by Pantazis Deligiannis.
Clean up "make install"-produced intermediate files (resolves bug 526)
initial modifications for per-ic cbqi
Minor fixes for --fmf-fmc for quantifiers containing datatypes
Minor cleanup.
--segv-nospin is now default.