#310 (Apr 30, 2017, 12:50:09 AM)

1. maintain build_log database; (detail / hgweb)
2. exclude special log files; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned; (detail / hgweb)
5. ssh_close for proper termination after use of database; (detail / hgweb)
6. some documentation; (detail / hgweb)
7. merged (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified database content; (detail / hgweb)
11. more operations; (detail / hgweb)
12. optional ml_statistics: much faster; (detail / hgweb)
13. proper query (amending ce15da15f8e2); (detail / hgweb)
14. put bulky data last; (detail / hgweb)
15. tuned; (detail / hgweb)
16. more log files; (detail / hgweb)
17. clarified multi-line properties; (detail / hgweb)
18. dummy session entry for empty build_info: relevant for filter_files; (detail / hgweb)
19. tuned query, notably for isabelle_build_log_build_info; (detail / hgweb)
20. operations to read database; (detail / hgweb)
21. tuned signature: less overloading; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. tuned transaction granularity; (detail / hgweb)
24. unused; (detail / hgweb)
25. clarified database layout; (detail / hgweb)
26. tuned signature: avoid null in regular Scala code; (detail / hgweb)
27. clarified transaction boundaries: more robust incremental write operations; (detail / hgweb)
28. clarified database layout; (detail / hgweb)
29. allow null for primitive types; (detail / hgweb)
30. more uniform storage of Meta_Info; (detail / hgweb)
31. allow null; (detail / hgweb)
32. clarified plain_name / log_name; (detail / hgweb)
33. tuned comment; (detail / hgweb)
34. tuned signature; (detail / hgweb)
35. tuned; (detail / hgweb)
36. separate small meta_info vs. big build_info; (detail / hgweb)
37. tuned; (detail / hgweb)
38. unused; (detail / hgweb)
39. tuned signature; (detail / hgweb)
40. more standard multi-line storage in database: Prop.separator is only required for single-line meta_info within log file; (detail / hgweb)
41. clarified filter_files: sorted and unique; (detail / hgweb)
42. database storage of Meta_Info and Build_Info; (detail / hgweb)
43. allow null; (detail / hgweb)
44. more encode/decode operations; (detail / hgweb)
45. proper prefix; (detail / hgweb)
46. support for database connection; (detail / hgweb)
47. clarified treatment of default port; (detail / hgweb)
48. tuned signature; (detail / hgweb)
49. clarified modules; (detail / hgweb)
50. more SQL operations; (detail / hgweb)
51. more robust (see also 6688b9cd443b); (detail / hgweb)
52. more robust treatment of non-UTF8 text files (cf. 3ed43cfc8b14), notably old log files in ISO-8859-15; (detail / hgweb)
53. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.