Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
Merge branch '1.4.x'
Add option for aggressive model filtering in conjecture generator (enumerate ground terms).
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.
Fix a command-replay bug in tear-down-incremental mode.  Thanks to Christoph Sticksel for the report.
Fix improper #inclusion of private header outside library.
Merge branch '1.4.x'
Option for more aggressive merging in UEE.
Run $ contrib/new-theory fp
Populate the kinds file.
Skeleton implementations of the classes needed by the constant kinds.
Fix glaring syntax error.
Add the helper classes for parametric sorts.
Fix some of the compilation bugs.
A few more compilation fixes.
Create a derived class the data for each of the parameterized operators.
Fixes to get the code to compile with the new kinds.
Implement the rest of the type checking rules.
Separate some utility functions so that better error handling can be provided.
Implement floating-point theory rewriter and changes to makefiles to include the new files in the build.