Fix for an array-of-record model generation assert-fail (assert was too strong).
fix getModelValue(<non-preregistered term>)
Merge pull request #54 from kbansal/bugfix_setssegfault

fix getModelValue(<non-preregistered term>)
Fix comment in SmtEngine.
Update AUTHORS affiliations and add Martin.
Better getEqualityStatus for arrays, smarter combination of theories
More model-based combination for arrays
Added option for developer use only
Merge branch '1.4.x'.
Added internal support for constant arrays.
Fix unit test for ArrayStoreAll.
Note array const support in NEWS
Merge branch '1.4.x'
SMT-LIB parser support for array constants (Z3 syntax).
Minor fixes to CVC printer.
More array constants and parsing: better error messages, extend to CVC presentation language.
Improve error in CVC parser in presence of unrecognized command name.
Add some (so far trivial) regressions for constant arrays.
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Sticksel for reporting).
Merge branch '1.4.x'

Conflicts:
	NEWS