#384 (Aug 4, 2017, 2:13:34 AM)

1. pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better (detail / hgweb)
2. updated CVC4 component to official 1.5 release (detail / hgweb)
3. merged (detail / hgweb)
4. eliminated more "guess", etc. (detail / hgweb)
5. merged (detail / hgweb)
6. more tidying (detail / hgweb)
7. more tidying up (detail / hgweb)
8. merged (detail / hgweb)
9. merged (detail / hgweb)
10. removed all "guess" (detail / hgweb)
11. tuned (detail / hgweb)
12. merged (detail / hgweb)
13. added lemmas (detail / hgweb)
14. simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping;
    sufficient to keep history stamps rather than complete historized data;
    semantically conflicting specifications are temoprary blacklisted after theory merge but remain historized;
    clarified signature; (detail / hgweb)
15. merged (detail / hgweb)
16. generalized lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 23 min waiting;
• 1 hr 35 min build duration;
• 2 hr 58 min total from scheduled to completion.