#2207 (Jun 17, 2024, 3:35:25 AM)

1. merged (detail / hgweb)
2. enforce rebuild of Isabelle/ML; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. Base64: proper support for large Bytes, with subtle change of types (Bytes instead of String); (detail / hgweb)
5. tuned: prefer Bytes operations; (detail / hgweb)
6. unused; (detail / hgweb)
7. proper treatment of long message blocks; (detail / hgweb)
8. clarified sizes; (detail / hgweb)
9. more scalable stream read operations; (detail / hgweb)
10. minor performance tuning; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned module structure; (detail / hgweb)
13. tuned names; (detail / hgweb)
14. imitate internal policy of ByteArrayOutputStream: capacity is doubled after first push; (detail / hgweb)
15. tuned whitespace; (detail / hgweb)
16. unused; (detail / hgweb)
17. Bytes.Builder is unsynchronized, like java.io.OutputBuffer; (detail / hgweb)
18. notable performance tuning: avoid overhead of higher-order functions; (detail / hgweb)
19. more efficient equals: avoid somewhat slow sha1_digest (see also 29b761e290c5, 306f273c91ec); (detail / hgweb)
20. more scalable compression, using Bytes.Builder.Stream; (detail / hgweb)
21. tuned: more uniform, less ambitious; (detail / hgweb)
22. tuned; (detail / hgweb)
23. minor performance tuning; (detail / hgweb)
24. minor performance tuning;
    clarified signature; (detail / hgweb)
25. minor performance tuning; (detail / hgweb)
26. clarified signature; (detail / hgweb)
27. tuned; (detail / hgweb)
28. tuned; (detail / hgweb)
29. clarified signature; (detail / hgweb)
30. minor performance tuning; (detail / hgweb)
31. support large byte arrays, using multiple "chunks";
    support incremental builder;
    clarified "limit" (valid >= 0) vs. "hint" (valid > 0);
    clarified byte access: prefer unchecked acces and iterators internally; (detail / hgweb)
32. clarified File.eq_content, following 306f273c91ec; (detail / hgweb)
33. tuned; (detail / hgweb)
34. clarified hash and equality: depend on sha1 digest to be collision-free; (detail / hgweb)
35. clarified signature; (detail / hgweb)
36. tuned source structure; (detail / hgweb)
37. tuned signature; (detail / hgweb)
38. minor performance tuning; (detail / hgweb)
39. proper sha1_digest: need to include offset + length; (detail / hgweb)
40. clarified signature: pro-forma support for Bytes with size: Long; (detail / hgweb)
41. minor performance tuning; (detail / hgweb)
42. clarified signature (again); (detail / hgweb)
43. tuned; (detail / hgweb)
44. clarified signature: discontinue somewhat misleading Bytes <: CharSequence; (detail / hgweb)
45. minor performance tuning; (detail / hgweb)
46. clarified signature: more accurate types; (detail / hgweb)
47. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 45 min waiting;
• 2 hr 5 min build duration;
• 4 hr 50 min total from scheduled to completion.