#984 (Aug 13, 2019, 12:50:07 AM)

1. merged (detail / hgweb)
2. more compact proof terms; (detail / hgweb)
3. more robust -- notably for metis, which tends to accumulate tpairs; (detail / hgweb)
4. tuned -- avoid shadowing of ML names; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more compact proof terms; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned -- eliminated unused parameters; (detail / hgweb)
10. more direct/compact export of proof terms; (detail / hgweb)
11. output physical_stderr, e.g. for low-level debugging; (detail / hgweb)
12. tuned; (detail / hgweb)
13. do not open ML structures; (detail / hgweb)
14. tuned; (detail / hgweb)
15. misc tuning -- slightly more readable; (detail / hgweb)
16. simplified defs (thanks to Mohammad) (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.