#2075 (Dec 12, 2023, 2:45:13 AM)

1. tuned comments (see also 476a239d3e0e and possibly 4b62e0cb3aa8); (detail / hgweb)
2. merged (detail / hgweb)
3. minor performance tuning; (detail / hgweb)
4. tuned; (detail / hgweb)
5. minor performance tuning: prefer Same.operation; (detail / hgweb)
6. clarified signature;
   minor performance tuning: avoid redundant identity; (detail / hgweb)
7. minor performance tuning; (detail / hgweb)
8. more operations; (detail / hgweb)
9. revert 17fda85a33dc: renaming is not necessarily unique, e.g. [("x", "x"), ("x", "y")]; (detail / hgweb)
10. misc tuning and clarification; (detail / hgweb)
11. minor performance tuning: prefer Symset.T;
    tuned names; (detail / hgweb)
12. minor performace tuning; (detail / hgweb)
13. minor performance tuning: prefer Same.operation; (detail / hgweb)
14. tuned: more standard accumulation; (detail / hgweb)
15. tuned; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. clarified signature; (detail / hgweb)
18. tuned whitespace; (detail / hgweb)
19. tuned; (detail / hgweb)
20. proper ZTerm.lift_proof (amending 4a1a25bdf81d); (detail / hgweb)
21. filter predecessors properly (amending ee405c40db72); (detail / hgweb)
22. improve graphical clarity by omitting intra-host dependencies (following ee405c40db72); (detail / hgweb)
23. more zproofs; (detail / hgweb)
24. minor performance tuning: more direct abstraction level; (detail / hgweb)
25. more general Logic.incr_indexes_operation;
    more special Logic.incr_indexes; (detail / hgweb)
26. tuned; (detail / hgweb)
27. tuned; (detail / hgweb)
28. clarified modules; (detail / hgweb)
29. clarified ML; (detail / hgweb)
30. clarified signature;
    minor performance tuning; (detail / hgweb)
31. tuned signature; (detail / hgweb)
32. avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292); (detail / hgweb)
33. tuned; (detail / hgweb)
34. more robust: proper Proofterm.get_proofs_level with bound check; (detail / hgweb)
35. tuned; (detail / hgweb)
36. clarified signature: fewer tuples; (detail / hgweb)
37. clarified signature: fewer tuples; (detail / hgweb)
38. clarified signature: more explicit get_proofs_level with bounds check; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 55 min waiting;
• 2 hr 6 min build duration;
• 4 hr 1 min total from scheduled to completion.