#183 (Oct 28, 2016, 1:11:41 AM)

1. merged (detail / hgweb)
2. more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops; (detail / hgweb)
3. avoid multiple PIDE markup due to (potentially infinite) backtracking; (detail / hgweb)
4. more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs; (detail / hgweb)
5. more lemmas (detail / hgweb)
6. updated CVC4 component (detail / hgweb)
7. tuning (detail / hgweb)
8. more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes) (detail / hgweb)
9. added lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 21 min waiting;
• 1 hr 5 min build duration;
• 1 hr 27 min total from scheduled to completion.