#1568 (Oct 8, 2021, 1:38:39 AM)

1. recover NEWS from 78d1f73bbeaa; (detail / hgweb)
2. save 90 MB by excluding rlwrap and thus perl; (detail / hgweb)
3. save 45 MB by excluding rlwrap and thus perl; (detail / hgweb)
4. NEWS; (detail / hgweb)
5. clarified test of directories; (detail / hgweb)
6. misc tuning for release; (detail / hgweb)
7. merged (detail / hgweb)
8. updated to kodkodi-1.5.7. with more robust/portable management of files and processes; (detail / hgweb)
9. provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick; (detail / hgweb)
10. tuned message; (detail / hgweb)
11. proper build on macOS; (detail / hgweb)
12. build minisat, using recent fork from original sources; (detail / hgweb)
13. proper platform_path for executables run from Java; (detail / hgweb)
14. tuned message; (detail / hgweb)
15. tuned; (detail / hgweb)
16. tuned whitespace; (detail / hgweb)
17. merged (detail / hgweb)
18. added timeout to veriT (detail / hgweb)
19. new notion of infinite sums in HOL-Analysis, ordering on complex numbers (detail / hgweb)
20. NEWS and CONTRIBUTORS (detail / hgweb)
21. merged (detail / hgweb)
22. added offset to Mirabelle's tptp output names (detail / hgweb)
23. tuned zipperposition config in sledgehammer (detail / hgweb)
24. considered slices overhead in sledgehammer (detail / hgweb)
25. tuned atp_prover sliding (detail / hgweb)
26. tuned Zipperposition slides in sledgehammer (detail / hgweb)

Started by an SCM change

This run spent:

• 48 min waiting;
• 2 hr 5 min build duration;
• 2 hr 54 min total from scheduled to completion.