Disabling eager array index splitting for QF_AX
Made eager lemmas an option, enabled for QF_AX
Turning on model based array solver for QF_AX
Fix regression error by turning off model-based solver when models are on
(ironic, yes, but model-based solver doesn't yet produce models)
Adjust release Makefile rules, new run script
update copyrights
One final fix to "make submission" rule
Fix get-authors script to not extract email addresses, canonicalize names, add .mailmap
Remove old README file from rewrite-rules left over from new-theory script long ago
Regenerated copyrights: canonicalized names, no emails
Don't allow --stats if not a statistics-enabled build