Some statistics for narrowing down incrementality issues (push/pop vs solve timing)
Properly |quote| symbols in SMT-LIBv2 output.
Interactive mode support for multiline input
Remove unintentionally-committed-to-master README from interactive branch
Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Better reporting of detached git state in --version and --show-config
fixing constant evaluation bugs
Merge branch 'master' into bv-core
added regression test for constant eval