#1888 (Feb 13, 2023, 12:50:10 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. clarified main operations;
   clarified main loop; (detail / hgweb)
4. clarified signature: prefer stateful object-oriented style, to make it fit better into physical world; (detail / hgweb)
5. prefer global mutable state, in order to break up the loop eventually; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified static build_context vs. dynamic queue; (detail / hgweb)
9. clarified signature: make dynamic Queue from static Context; (detail / hgweb)
10. clarified data structure: absorb Option[Process_Result] into Process_Result, e.g. to simplify database storage; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified data structure: use static info from deps, not dynamic results;
    tuned; (detail / hgweb)
14. clarified data structure: more direct access to timeout; (detail / hgweb)
15. tuned; (detail / hgweb)
16. misc tuning and clarification; (detail / hgweb)
17. clarified modules;
    clarified signature; (detail / hgweb)
18. tuned message: old_time not sufficiently prominent nor accurate to be printed; (detail / hgweb)
19. clarified signature and terminology; (detail / hgweb)
20. clarified signature: avoid adhoc constants; (detail / hgweb)
21. tuned; (detail / hgweb)
22. tuned message; (detail / hgweb)
23. tuned signature: more operations; (detail / hgweb)
24. clarified signature: more explicit types; (detail / hgweb)
25. clarified modules; (detail / hgweb)
26. clarified signature; (detail / hgweb)
27. clarified signature; (detail / hgweb)
28. merged (detail / hgweb)
29. Simplification of proofs (detail / hgweb)
30. explicit range types in abstractions (detail / hgweb)
31. somehow more clear terminology (detail / hgweb)
32. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 53 min total from scheduled to completion.